Author:
Hetzl Stefan,Leitsch Alexander,Weller Daniel,Woltzenlogel Paleo Bruno
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reducing redundancy in cut-elimination by resolution;Journal of Logic and Computation;2014-12-14
2. CERES in higher-order logic;Annals of Pure and Applied Logic;2011-12
3. Preface;Methods of Cut-Elimination;2010-12-10
4. Related Research;Methods of Cut-Elimination;2010-12-10
5. System Description: The Proof Transformation System CERES;Automated Reasoning;2010