Vytisknout
0353751 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Krajíček, Jan
A form of feasible interpolation for constant depth Frege systems.
Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: feasible interpolation * Frege proof systems * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.584, rok: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Trvalý link: http://hdl.handle.net/11104/0192907
Krajíček, Jan
A form of feasible interpolation for constant depth Frege systems.
Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: feasible interpolation * Frege proof systems * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.584, rok: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Trvalý link: http://hdl.handle.net/11104/0192907