From feasible proofs to feasible computations

Krajíček Jan



Název
From feasible proofs to feasible computations
Autor
lupa Krajíček Jan MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Computer Science Logic 2010. S. 22-31. - Heidelberg : Springer, 2010 / Dawar A. ; Veith H.
Vyd.údaje
10 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
DE
Klíč.slova
lengths of proofs * computational time
URL
http://link.springer.com/chapter/10.1007%2F978-3-642-15205-4_3
Databáze
zc - Konferenční příspěvek (zahraniční konference)
URL
http://link.springer.com/chapter/10.1007%2F978-3-642-15205-4_3
Trvalý link
http://hdl.handle.net/11104/0192912