The provably total NP search problems of weak second order bounded arithmetic
Leszek Aleksander Kołodziejczyk, Phuong Nguyen, Neil ThapenVolume:
162
Year:
2011
Language:
english
Pages:
28
DOI:
10.1016/j.apal.2010.12.002
File:
PDF, 489 KB
english, 2011