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

571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
625 Light Linear Logic – Jean-yves Girard
308 On the complexity of derivation in propositional calculus – G S Tseitin - 1970
52 The Lengths of Proofs – Pavel Pudlák - 1998
37 Lower bounds on Herbrand's theorem – R Statman - 1979
38 Bounds for proof search and speed-up in the predicate calculus – R Statman - 1999
11 Duplication of Directed Graphs and Exponential Blow Up of Proofs – A. Carbone - 1999
8 Cycling in proofs and feasibility – A. Carbone - 1998
331 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979