Browse by Person (creator, editor, contributor, etc.)
Number of items: 6.
Conference or workshop item
Martin, J.C. and King, Andy and Soper, P.
Typed norms for typed logic programs.
In: Gallagher, J., ed.
Lecture Notes In Computer Science.
(The full text of this publication is not available from this repository)
King, A. and Soper, P.
Depth-k Sharing and Freeness.
In: 11th International Conference on Logic Programming, Jun 13-18, 1994, S Margherita Ligure, Italy.
(Access to this publication is restricted)