Author:
Hodas Joshua S.,López Pablo,Polakow Jeffrey,Stoilova Lubomira,Pimentel Ernesto
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Jean-Marc Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 1992.
2. Jean-Marc Andreoli. Focusing and proof construction. Annals of Pure and Applied Logic, 107(1-3):131–163, 2001.
3. Iliano Cervesato, Joshua S. Hodas, and Frank Pfenning. Efficient resource management for linear logic proof search. In Roy Dyckhoff, Heinrich Herre, and Peter Schroeder-Heister, editors, Proceedings of the Fifth International Workshop on Extensions of Logic Programming, volume 1050 of Lecture Notes in Artificial Intelligence, pages 67–81. Springer-Verlag, March 1996.
4. Iliano Cervesato, Joshua S. Hodas, and Frank Pfenning. Efficient resource management for linear logic proof search. Theoretical Computer Science, 232(1-2), February 2000.
5. James Harland and David Pym. The uniform proof-theoretic foundation of linear logic programming. In V. Saraswat and K. Ueda, editors, Proceedings of the 1991 International Logic Programming Symposium, pages 304–318. M. I. T. Press, 1991.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献