Naoki Kobayashi and Akinori Yonezawa. ACL | A concurrent linear logic programming paradigm. In D. Miller, editor, Proceedings of the 1993 International Logic Programming Symposium, pages 279-294, Vancouver, Canada, 1993. MIT Press. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
A Concurrent Logical Framework: the - Propositional Fragment Kevin (Correct)
Linear Logic Programming for AI Planning - Küngas (2002) (Correct)
Efficient Resource Management for Linear Logic Proof Search - Cervesato, Hodas, Pfenning (2000) (18 citations) (Correct)
Foundations of Proof Search Strategies Design in Linear Logic - Galmiche, Perrier (1994) (10 citations) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 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