Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 1.

Martin, Jon and King, Andy (1996) Typed Norms for Typed Logic Programs. In: Gallagher, John, ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1207 . Springer-Verlag, pp. 224-238. ISBN 3-540-62718-9. (doi:https://doi.org/10.1007/3-540-62718-9_13) (Full text available)

Preview

This list was generated on Mon May 13 09:38:13 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0