Turning Cycles into Spirals (1999)

Cached

Download Links

by A. Carbone
Citations:6 - 3 self

Active Bibliography

8 Cycling in proofs and feasibility – A. Carbone - 1998
INTRODUCTION TO THE COMBINATORICS AND COMPLEXITY OF CUT ELIMINATION – A. Carbone, S. Semmes
Propositional Proofs via Combinatorial Geometry and the Search for Symmetry – Alessandra Carbone , Stephen Semmes - 1999
11 Duplication of Directed Graphs and Exponential Blow Up of Proofs – A. Carbone - 1999
Streams and Strings in Formal Proofs – n.n.
3 The Cost of a Cycle is a Square – A. Carbone - 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
ISSN 0249-6399 ISRN INRIA/RR--????--FR+ENGProof Nets and the Identity of Proofs – Lutz Straßburger, Thème Sym, Lutz Straßburger, Projet Parsifal - 2006
52 The Taming of the Cut. Classical Refutations with Analytic Cut – Marcello D'Agostino, Marco Mondadori - 1994
8 Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae – Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot - 2009
7 Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity – P. Mateus, A. Sernadas, C. Sernadas, L. Vigano - 2003
2 Some Pitfalls of LK-to-LJ Translations and How to Avoid Them – Uwe Egly - 1997
On the Lengths of Proofs of Consistency - a Survey of Results – Pavel Pudlák
Czechoslovak Academy of Sciences Prague – J. B. Paris, A. J. Wilkie, G. M. Wiliners (editors, Pave Pudlgk
17 ON THE NUMBER OF STEPS IN PROOFS – Jan Krajícek - 1989
105 The Complexity Of Propositional Proofs – Alasdair Urquhart - 1995
1 Relative Efficiency of Propositional Proof Systems: Resolution vs. Cut-Free LK – Noriko H. Arai
1 Extension without Cut – Lutz Straßburger - 2008