Sciweavers

APAL
2005

Separation results for the size of constant-depth propositional proofs

13 years 11 months ago
Separation results for the size of constant-depth propositional proofs
Arnold Beckmann, Samuel R. Buss
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2005
Where APAL
Authors Arnold Beckmann, Samuel R. Buss
Comments (0)