Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation 2(3), 297–347 (1992)
2. Apt, K.R., Marchiori, E.: Reasoning about prolog programs from modes through types to assertions. Formal Aspects of Computing 6(A), 743–764 (1994)
3. Beeri, C., Ramakrishnan, R.: On the power of magic. J. of Logic Programming 10(1/2/3&4), 255–299 (1991)
4. Chaudhuri, K.: The Focused Inverse Method for Linear Logic. PhD thesis, Carnegie Mellon University, Technical report CMU-CS-06-162 (2006)
5. Lecture Notes in Artificial Intelligence;K. Chaudhuri,2008
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献