Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;J. Hodas,2002
2. Cervesato, I., Hodas, J.S., Pfenning, F.: Efficient resource management for linear logic proof search. Theoretical Computer Science 232, 133–163 (2000)
3. Hodas, J.S., Watkins, K., Tamura, N., Kang, K.S.: Efficient implementation of a linear logic programming language. In: JICSLP 1998, pp. 145–149. IEEE Computer Society Press, Los Alamitos (1998)
4. Andreoli, J.M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2, 297–347 (1992)
5. Pym, D., Harland, J.: A uniform proof-theoretic investigation of linear logic programming. Journal of Logic and Computation 4, 175–207 (1994)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献