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

Kolodziejczyk L.. A



Název
The provably total NP search problems of weak second order bounded arithmetic
Autor
lupa Kolodziejczyk L.. A.
Spoluautoři
lupa Thapen Neil MU-W - Matematický ústav AV ČR, v. v. i.
lupa Nguyen Phuong MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Annals of Pure and Applied Logic. Roč. 162, č. 6 (2011), s. 419-446. - : Elsevier
Vyd.údaje
28 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
NL
Klíč.slova
complexity * fragments
URL
http://www.sciencedirect.com/science/article/pii/S0168007210001491
Databáze
zj - Článek v odborném časopise
URL
http://www.sciencedirect.com/science/article/pii/S0168007210001491
Trvalý link
http://hdl.handle.net/11104/0197323