Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | M

Number of items: 2.

B

Benoy, Florence and King, Andy (1996) Inferring Argument Size Relationships with CLP(R). In: Gallagher, John, ed. Logic Logic Program Synthesis and Transformation 6th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 204-223. ISBN 978-3-540-62718-0. E-ISBN 978-3-540-68494-7. (doi:10.1007/3-540-62718-9_12) (KAR id:21464)

M

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:10.1007/3-540-62718-9_13) (KAR id:21467)

This list was generated on Fri Apr 19 23:50:40 2024 BST.