N. Kobayash and A. Yonezawa. ACL - A Concurrent Linear Logic Programming Paradigm. In Dale Miller, editor, Logic Programming - Proceedings of the 1993 International Symposium, pages 279--294, Vancouver, Canada, 1993. The MIT Press. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Goal-Directed Proof Search in Multiple-Conclusioned.. - Harland, Lutovac.. (2000) (1 citation) (Correct)
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (28 citations) (Correct)
Goal-Directed Proof Search in Multiple-Conclusioned.. - Harland, Lutovac.. (2000) (1 citation) (Correct)
On Goal-Directed Proofs in Multiple-Conclusioned.. - Harland, Lutovac.. (Correct)
Some Applications of the Linear Logic Programming Language Lygon - Winikoff, Harland (1996) (1 citation) (Correct)
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1995) (28 citations) (Correct)
Implementation and development Issues for the Linear Logic.. - Winikoff, Harland (1995) (4 citations) (Correct)
Programming in Lygon: an overview - Harland, Pym, Winikoff (1995) (28 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC