Author:
Baaz Matthias,Hetzl Stefan,Leitsch Alexander,Richter Clemens,Spohr Hendrik
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fast Cut-Elimination using Proof Terms: An Empirical Study;Electronic Proceedings in Theoretical Computer Science;2018-10-19
2. Validating Back-links of FOLID Cyclic Pre-proofs;Electronic Proceedings in Theoretical Computer Science;2018-10-19
3. Extraction of Expansion Trees;Journal of Automated Reasoning;2018-01-27
4. System Description: The Proof Transformation System CERES;Automated Reasoning;2010
5. A Clausal Approach to Proof Analysis in Second-Order Logic;Logical Foundations of Computer Science;2008