Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Asymptotic cyclic expansion and bridge groups of formal proofs |
scientific article; zbMATH DE number 1657281
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Asymptotic cyclic expansion and bridge groups of formal proofs |
scientific article; zbMATH DE number 1657281 |
Statements
Asymptotic cyclic expansion and bridge groups of formal proofs (English)
0 references
6 June 2002
0 references
formal proofs
0 references
logical flow graphs
0 references
cut elimination
0 references
Baumslag-Solitar groups
0 references
cyclic structure of proofs
0 references
sequent calculus
0 references
combinatorial invariant
0 references
bridge group of a proof
0 references
Gersten groups
0 references
elimination of lemmas
0 references
0 references
0.86378205
0 references
0.8596312
0 references
0.85562503
0 references
0.8544244
0 references
0 references
0 references
0.8450681
0 references
0.8442618
0 references
