A form of feasible interpolation for constant depth Frege systems

Krajíček Jan



Název
A form of feasible interpolation for constant depth Frege systems
Autor
lupa Krajíček Jan MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784
Vyd.údaje
11 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
US
Klíč.slova
feasible interpolation * Frege proof systems * lower bounds
URL
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Databáze
zj - Článek v odborném časopise
URL
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Trvalý link
http://hdl.handle.net/11104/0192907