Author:
Küngas Peep,Matskin Mihhail
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Wooldridge, M., Jennings, N.R.: The cooperative problem-solving process. Journal of Logic and Computation 9, 563–592 (1999)
2. Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
3. Lincoln, P.: Linear logic. ACM SIGACT Notices 23, 29–37 (1992)
4. Lincoln, P.: Deciding provability of linear logic formulas. In: Girard, J.Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic. London Mathematical Society Lecture Note Series, vol. 222, pp. 109–122 (1995)
5. Komorowski, J.: A specification of an abstract prolog machine and its application to partial evaluation. PhD thesis. Technical Report LSST 69, Department of Computer and Information Science, Linkoping University, Linkoping, Sweden (1981)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献