Characterising definable search problems in bounded arithmetic via proof notations
| Date first appeared online | 31/12/2010 |
| DOI | 10.1515/9783110324907.65 |
| Authors | Beckmann A. |
| Journal Name | Ways of Proof Theory |
| Volume | 2 |
| Date first appeared online | 31/12/2010 |
| DOI | 10.1515/9783110324907.65 |
| Authors | Beckmann A. |
| Journal Name | Ways of Proof Theory |
| Volume | 2 |