On theories of bounded arithmetic for NC1

Jeřábek Emil



Název
On theories of bounded arithmetic for NC1
Autor
lupa Jeřábek Emil MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Annals of Pure and Applied Logic. Roč. 162, č. 4 (2011), s. 322-340. - : Elsevier
Vyd.údaje
19 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
NL
Klíč.slova
bounded arithmetic * circuit complexity * propositional translation
URL
http://www.sciencedirect.com/science/article/pii/S0168007210001260
Databáze
zj - Článek v odborném časopise
URL
http://www.sciencedirect.com/science/article/pii/S0168007210001260
Trvalý link
http://hdl.handle.net/11104/0192570