Počet záznamů: 1  

A form of feasible interpolation for constant depth Frege systems

  1. 1.
    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

    We define a model-theoretic principle for which a form of feasible interpolation is valid in constant depth Frege systems.
    Trvalý link: http://hdl.handle.net/11104/0192907

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    Krajicek2.pdf1134.5 KBVydavatelský postprintvyžádat
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.