Cycling in proofs and feasibility (1998)

Cached

Download Links

by A. Carbone
Venue:Transactions of the American Mathematical Society
Citations:8 - 4 self

Active Bibliography

6 Turning Cycles into Spirals – A. Carbone - 1999
INTRODUCTION TO THE COMBINATORICS AND COMPLEXITY OF CUT ELIMINATION – A. Carbone, S. Semmes
3 The Cost of a Cycle is a Square – A. Carbone - 1999
11 Duplication of Directed Graphs and Exponential Blow Up of Proofs – A. Carbone - 1999
Streams and Strings in Formal Proofs – n.n.
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 On Feasible Numbers – Vladimir Yu. Sazonov - 1995
Concepts and Axioms – A.S. Troelstra - 1998
On the Lengths of Proofs of Consistency - a Survey of Results – Pavel Pudlák
17 ON THE NUMBER OF STEPS IN PROOFS – Jan Krajícek - 1989
4 On the form of witness terms – Stefan Hetzl - 2010
In Defense of the Ideal 2nd DRAFT – W. W. Tait
Naïve Type Theory – Robert L. Constable - 2002
10 On Bounded Set Theory – Vladimir Yu. Sazonov
5 Naïve computational type theory – Robert L. Constable - 2002
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