The provably total NP search problems of weak second order bounded arithmetic

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	The provably total NP search problems of weak second order bounded arithmetic
Adres internetowy
Tytuł czasopisma	ANNALS OF PURE AND APPLIED LOGIC
Medium
Tom	162
Zeszyt
Rok wydania	2011
Od strony	419
Do strony	446
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2011