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
Number of items: 6.

Conference or workshop item

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)

Kemp, B. and King, A. and Soper, P. (1994) Continuation Compilation for Concurrent Logic Programming. In: Proceedings of the Symposium on Artificial Intelligence in Real-time Control. (The full text of this publication is not available from this repository)

King, A. and Soper, P. (1994) 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)
[img] [img]

King, A. and Soper, P. (1992) Schedule Analysis of Concurrent Logic Programs. In: Joint International Conference and Symposium on Logic Programming, 1992, Washington,DC, USA. (Full text available)
[img] [img]
Preview

King, A. and Soper, P. (1992) Serialisation Analysis of Concurrent Logic Programs. In: Algebraic and Logic Programming. (Full text available)
[img]
Preview
[img]
Preview

King, A. and Soper, P. (1991) Reducing Scheduling Overheads for Concurrent Logic Programs. In: Processing Declarative Knowledge. (The full text of this publication is not available from this repository)

This list was generated on Fri Dec 13 05:57:17 2013 GMT.