Počet záznamů: 1
The provably total NP search problems of weak second order bounded arithmetic
- 1.
SYSNO 0359552 Název The provably total NP search problems of weak second order bounded arithmetic Tvůrce(i) Kolodziejczyk, L. A. (PL)
Thapen, Neil (MU-W) RID, SAI
Nguyen, Phuong (MU-W)Zdroj.dok. Annals of Pure and Applied Logic. Roč. 162, č. 6 (2011), s. 419-446. - : Elsevier Druh dok. Článek v odborném periodiku Grant IAA100190902 GA AV ČR - Akademie věd LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10190503 - MU-W (2005-2011) Jazyk dok. eng Země vyd. NL Klíč.slova complexity * fragments URL http://www.sciencedirect.com/science/article/pii/S0168007210001491 Trvalý link http://hdl.handle.net/11104/0197323 Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 1 500.9 KB Vydavatelský postprint vyžádat
Počet záznamů: 1