Author:
McLaughlin Sean,Pfenning Frank
Publisher
Springer Berlin Heidelberg
Reference21 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. Avellone, A., Fiorino, G., Moscato, U.: A new O(n log n)-space decision procedure for propositional intuitionistic logic. In: Kurt Goedel Society Collegium Logicum, vol. VIII, pp. 17–33 (2004)
4. Chaudhuri, K.: The Focused Inverse Method for Linear Logic. PhD thesis, Carnegie Mellon University, Technical report CMU-CS-06-162 (December 2006)
5. Chaudhuri, K., Pfenning, F.: Focusing the inverse method for linear logic. In: Ong, L. (ed.) Computer Science Logic, pp. 200–215. Springer, Heidelberg (2005)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献