Uniform Proof Complexity
| Date first appeared online | |
| DOI | 10.1093/logcom/exi035 |
| Authors | Beckmann A. |
| Journal Name | Journal of Logic and Computation |
| Volume | 15 |
| Date first appeared online | |
| DOI | 10.1093/logcom/exi035 |
| Authors | Beckmann A. |
| Journal Name | Journal of Logic and Computation |
| Volume | 15 |