POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC
| Date first appeared online | 01/01/2009 |
| DOI | 10.1142/S0219061309000847 |
| Authors | Beckmann A. |
| Journal Name | Journal of Mathematical Logic |
| Volume | 09 |
| Date first appeared online | 01/01/2009 |
| DOI | 10.1142/S0219061309000847 |
| Authors | Beckmann A. |
| Journal Name | Journal of Mathematical Logic |
| Volume | 09 |