Duplication of Directed Graphs and Exponential Blow Up of Proofs (1999)

by A. Carbone
Citations:11 - 3 self

Active Bibliography

3 The Cost of a Cycle is a Square – A. Carbone - 1999
Streams and Strings in Formal Proofs – n.n.
INTRODUCTION TO THE COMBINATORICS AND COMPLEXITY OF CUT ELIMINATION – A. Carbone, S. Semmes
1 Streams and strings of formal proofs – A. Carbone - 2000
6 Turning Cycles into Spirals – A. Carbone - 1999
8 Cycling in proofs and feasibility – A. Carbone - 1998
4 On the form of witness terms – Stefan Hetzl - 2010
Propositional Proofs via Combinatorial Geometry and the Search for Symmetry – Alessandra Carbone , Stephen Semmes - 1999
Looking From the Inside and From the Outside – A. Carbone, S. Semmes - 1998
5 Asymptotic cyclic expansion and bridge groups of formal proofs – A. Carbone - 2001
17 On a generalization of extended resolution – O. Kullmann - 1998
1 Towards Algorithmic Cut-Introduction – Stefan Hetzl, Alexander Leitsch, Daniel Weller - 2012
7 Applying Tree Languages in Proof Theory – Stefan Hetzl - 2012
Projection-based Cut-Elimination and Normalization – Alexander Leitsch - 2004
9 Methods of Cut-Elimination – Matthias Baaz, Alexander Leitsch
103 The Complexity Of Propositional Proofs – Alasdair Urquhart - 1995
1 Extension without Cut – Lutz Stra├čburger - 2008
DOI: 10.1016/j.apal.2012.07.004 Extension without Cut – Lutz Stra├čburger - 2012
22 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008