Polynomal-size Frege proofs of Bollobás' theorem on the trace of sets (Q2378659)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polynomal-size Frege proofs of Bollobás' theorem on the trace of sets |
scientific article |
Statements
Polynomal-size Frege proofs of Bollobás' theorem on the trace of sets (English)
0 references
13 January 2009
0 references
lengths of proofs
0 references
Frege system
0 references
trace of sets
0 references
