Improved witnessing and local improvement principles for second-order bounded arithmetic
| Date first appeared online | |
| DOI | 10.1145/2559950 |
| Authors | Beckmann A. |
| Journal Name | ACM Transactions on Computational Logic |
| Volume | 15 |
| Date first appeared online | |
| DOI | 10.1145/2559950 |
| Authors | Beckmann A. |
| Journal Name | ACM Transactions on Computational Logic |
| Volume | 15 |