Asymptotic cyclic expansion and bridge groups of formal proofs (2001)

by A. Carbone
Venue:JOURNAL OF ALGEBRA
Citations:5 - 1 self

Documents Related by Co-Citation

597 Untersuchungen über das logische Schließen – G Gentzen - 1935
669 Light Linear Logic – Jean-yves Girard
314 On the complexity of derivations in the propositional calculus – G S Tseitin - 1968
55 The Lengths of Proofs – Pavel Pudlák - 1998
40 Lower bounds on Herbrand’s theorem – R Statman - 1979
39 Bounds for proof-search and speed-up in the predicate calculus – R Statman - 1978
11 Duplication of Directed Graphs and Exponential Blow Up of Proofs – A. Carbone - 1999
8 Cycling in proofs and feasibility – A. Carbone - 1998
348 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979