Separation results for the size of constant-depth propositional proofs
| Date first appeared online | |
| DOI | 10.1016/j.apal.2005.05.002 |
| Authors | Beckmann A. |
| Journal Name | Annals of Pure and Applied Logic |
| Volume | 136 |
| Date first appeared online | |
| DOI | 10.1016/j.apal.2005.05.002 |
| Authors | Beckmann A. |
| Journal Name | Annals of Pure and Applied Logic |
| Volume | 136 |