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

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.

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.

Preview

King, A. and Soper, P. (1992) Serialisation Analysis of Concurrent Logic Programs. In: Algebraic and Logic Programming.

Preview

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 May 24 06:47:52 2013 BST.