POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC

From MaRDI portal
Publication:3583040

DOI10.1142/S0219061309000847zbMath1204.03056MaRDI QIDQ3583040

Arnold Beckmann, Samuel R. Buss

Publication date: 26 August 2010

Published in: Journal of Mathematical Logic (Search for Journal in Brave)




Related Items (12)




Cites Work




This page was built for publication: POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC