Author:
McLaughlin Sean,Pfenning Frank
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297–347 (1992)
2. Andreoli, J.-M.: Focussing and proof construction. Annals of Pure and Applied Logic 107(1-3), 131–163 (2001)
3. Chaudhuri, K.: The Focused Inverse Method for Linear Logic. PhD thesis, Carnegie Mellon University. Technical report CMU-CS-06-162 (December 2006)
4. Lecture Notes in Computer Science;K. Chaudhuri,2005
5. Chaudhuri, K., Pfenning, F., Price, G.: A logical characterization of forward and backward chaining in the inverse method. Journal of Automated Reasoning 40(2-3), 133–177 (2008)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献