On the complexity of proof deskolemization

by Matthias Baaz , Stefan Hetzl , Daniel Weller
Venue:J. Symbolic Logic
Citations:4 - 3 self

Active Bibliography

4 On the form of witness terms – Stefan Hetzl - 2010
1 CERES in higher-order logic – Stefan Hetzl , Alexander Leitsch , Daniel Weller - 2011
9 Proof Transformation by CERES – Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr - 2006
9 CERES: An Analysis of Fürstenberg’s Proof of the Infinity of Primes – Matthias Baaz , Stefan Hetzl , Alexander Leitsch, Clemens Richter , Hendrik Spohr - 2008
5 Herbrand sequent extraction – Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo - 2008
1 Is Nonmonotonic Reasoning Always Harder? – Uwe Egly, Hans Tompits
1 Structuring of Computer-Generated Proofs by Cut Introduction – Uwe Egly, Karin Genther
Projection-based Cut-Elimination and Normalization – Alexander Leitsch - 2004
9 Methods of Cut-Elimination – Matthias Baaz, Alexander Leitsch
7 Applying Tree Languages in Proof Theory – Stefan Hetzl - 2012
38 A generic tableau prover and its integration with Isabelle – Lawrence C. Paulson - 1999
INTRODUCTION TO THE COMBINATORICS AND COMPLEXITY OF CUT ELIMINATION – A. Carbone, S. Semmes
3 Improved Complexity Analysis for Cut Elimination and Herbrand’s Theorem – Philipp Gerhardy - 2003
Proof Fragments, Cut-Elimination and Cut-Introduction – Stefan Hetzl
Simplification of Herbrand Sequents – Ausgeführt Am, Informatik Logik, Der Technischen Universität Wien, Univ. Prof Dr. Phil, Alexander Leitsch, Tsvetan Chavdarov Dunchev, Tsvetan Chavdarov Dunchev, Tsvetan Dunchev, Alexander Leitsch, Simplification Herbrand Sequents, Tsvetan Chavdarov Dunchev - 2009
9 Cut-Elimination: Experiments with CERES – Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr - 2005
2 Cut elimination for first order Gödel logic by hyperclause resolution – Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
1 Term Induction – Georg Christian Moser - 2001
Transforming and Analyzing Proofs in the CERES-system ∗ – Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo