Turning Cycles into Spirals (1999)

View PDF

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
11 Duplication of Directed Graphs and Exponential Blow Up of Proofs – A. Carbone - 1999
Propositional Proofs via Combinatorial Geometry and the Search for Symmetry – Alessandra Carbone , Stephen Semmes - 1999
Streams and Strings in Formal Proofs – n.n.
3 The Cost of a Cycle is a Square – A. Carbone - 1999
Pathways of deduction A. Carbone РUniversité Pierre, Marie Curie
ANNALS OF PURE AND APPLIED LOGIC – unknown authors - 1997
1 Looking From the Inside and From the Outside – A. Carbone, S. Semmes - 1998