Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. B. Beckert and J. Posegga. leanTAP: Lean Tableau-Based Theorem Proving. Proc. CADE-12, LNAI 814, pp. 793–797, Springer Verlag, 1994.
2. B. Beckert and J. Posegga. leanTAP: Lean Tableau-based Deduction. Journal of Automated Reasoning, 15(3):339–358, 1995.
3. R. Dyckhoff. Contraction-free Sequent Calculi for Intuitionistic Logic. Journal of Symbolic Logic, 57(3):795–807, 1992.
4. M. C. Fitting. First-Order Logic and Automated Theorem Proving. Springer Verlag, 1990.
5. J. Otten, C. Kreitz. A Connection-Based Proof Method for Intuitionistic Logic. Proc. 4 th TABLEAUX Workshop, LNAI 918, pp. 122–137, 1995.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献