The cost of a cycle is a square (Q4532599)
From MaRDI portal
scientific article; zbMATH DE number 1749896
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The cost of a cycle is a square |
scientific article; zbMATH DE number 1749896 |
Statements
The cost of a cycle is a square (English)
0 references
3 February 2003
0 references
logical flow graph of a proof
0 references
sequent calculus
0 references
cycles
0 references
cuts
0 references
complexity of cycle-elimination
0 references
classical propositional logic
0 references
exponential bounds
0 references
0 references
0 references
