Author:
Chihani Zakaria,Miller Dale,Renaud Fabien
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation 2(3), 297–347 (1992)
2. Andrews, P.B.: Theorem-proving via general matings. J. ACM 28, 193–214 (1981)
3. Lecture Notes in Computer Science;M. Armand,2011
4. Baelde, D.: Least and greatest fixed points in linear logic. ACM Trans. on Computational Logic 13(1) (April 2012)
5. Boespflug, M., Carbonneaux, Q., Hermant, O.: The λΠ-calculus modulo as a universal proof language. Proof Exchange for Theorem Proving, 28–43 (2012)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献