Author:
Küngas Peep,Matskin Mihhail
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Artificial Intelligence;P. Küngas,2004
2. Komorowski, J.: A Specification of An Abstract Prolog Machine and Its Application to Partial Evaluation. PhD thesis, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden (1981)
3. Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
4. Kanovich, M.I.: Linear logic as a logic of computations. Annals of Pure and Applied Logic 67, 183–212 (1994)
5. Lecture Notes in Artificial Intelligence;H. Lehmann,2000
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enhancing Commitment Machines;Declarative Agent Languages and Technologies II;2005
2. Abstraction Within Partial Deduction for Linear Logic;Artificial Intelligence and Symbolic Computation;2004