Author:
Chaudhuri Kaustuv,Pfenning Frank
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2, 297–347 (1992)
2. Andreoli, J.M.: Focussing and proof construction. Annals of Pure and Applied Logic 107, 131–163 (2001)
3. Howe, J.M.: Proof Search Issues in Some Non-Classical Logics. PhD thesis, University of St. Andrews (1998)
4. Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
5. Barber, A.: Dual Intuitionistic Linear Logic. Technical Report ECS-LFCS-96-347, University of Edinburgh (1996)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献