The provably total search problems of bounded arithmetic

Skelley A



Název
The provably total search problems of bounded arithmetic
Autor
lupa Skelley A.
Spoluautoři
lupa Thapen Neil MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Proceedings of the London Mathematical Society. Roč. 103, č. 1 (2011), s. 106-138
Vyd.údaje
33 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
Pigeonhole principle * polynomial hierarchy * local search
URL
http://plms.oxfordjournals.org/content/103/1/106
Databáze
zj - Článek v odborném časopise
URL
http://plms.oxfordjournals.org/content/103/1/106
Trvalý link
http://hdl.handle.net/11104/0203689