A sorting network in bounded arithmetic

Jeřábek Emil



Název
A sorting network in bounded arithmetic
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. 341-355. - : Elsevier
Vyd.údaje
15 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
NL
Klíč.slova
bounded arithmetic * sorting network * proof complexity * monotone sequent calculus
URL
http://www.sciencedirect.com/science/article/pii/S0168007210001272
Databáze
zj - Článek v odborném časopise
URL
http://www.sciencedirect.com/science/article/pii/S0168007210001272
Trvalý link
http://hdl.handle.net/11104/0192567