Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Miller, D., Nadathur, G., Pfenning, F., Scedrov, A.: Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic 51 (1991) 125–157
2. Miller, D.: Forum: A multiple-conclusion specification logic. Theoretical Computer Science 165 (1996) 201–232
3. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2 (1992)
4. Girard, J.Y.: Linear logic. Theoretical Computer Science 50 (1987) 1–102
5. Miller, D.: An overview of linear logic programming (2002) To appear in a book on linear logic, edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, and Phil Scott. Cambridge University Press.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献