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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Conference or workshop item
Number of items: 2.

Conference or workshop item

Martin, Jon and King, Andy (1997) Typed Norms for Typed Logic Programs. In: Logic Program Synthesis and Transformation, Aug 28-30, 1996, Stockholm, Sweden, .
[img]
Preview
[img]
Preview

Martin, J.C. and King, Andy and Soper, P. (1997) Typed norms for typed logic programs. In: Gallagher, J., ed. Lecture Notes In Computer Science. Springer-Verlag Berlin pp. 224-238. ISBN 3-540-62718-9. The full text of this publication is not available from this repository.

This list was generated on Wed May 22 23:06:19 2013 BST.
University of Kent | About this repository | Feedback | Latest additions