Počet záznamů: 1  

A form of feasible interpolation for constant depth Frege systems

    1.
    SYSNO ASEP0353751
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    Poddruh JČlánek ve WOS
    NázevA form of feasible interpolation for constant depth Frege systems
    Tvůrce(i) Krajíček, Jan (MU-W) SAI, ORCID
    Zdroj.dok.Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812
    Roč. 75, č. 2 (2010), s. 774-784
    Poč.str.11 s.
    Jazyk dok.eng - angličtina
    Země vyd.US - Spojené státy americké
    Klíč. slovafeasible interpolation ; Frege proof systems ; lower bounds
    Vědní obor RIVBA - Obecná matematika
    CEPIAA100190902 GA AV ČR - Akademie věd
    LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
    CEZAV0Z10190503 - MU-W (2005-2011)
    UT WOS000278641100017
    EID SCOPUS77954318233
    DOI10.2178/jsl/1268917504
    AnotaceWe define a model-theoretic principle for which a form of feasible interpolation is valid in constant depth Frege systems.
    PracovištěMatematický ústav
    KontaktJarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
    Rok sběru2011
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.

Přijmout všeNastaveníOdmítnout vše