Browse by Person (creator, editor, contributor, etc.)
Up a level |
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) |