Počet záznamů: 1  

From feasible proofs to feasible computations

    1.
    SYSNO ASEP0353758
    Druh ASEPC - Konferenční příspěvek (mezinárodní konf.)
    Zařazení RIVD - Článek ve sborníku
    NázevFrom feasible proofs to feasible computations
    Tvůrce(i) Krajíček, Jan (MU-W) SAI, ORCID
    Zdroj.dok.Computer Science Logic 2010. - Heidelberg : Springer, 2010 / Dawar A. ; Veith H. - ISBN 978-3-642-15204-7
    Rozsah strans. 22-31
    Poč.str.10 s.
    AkceComputer science logic 2010
    Datum konání23.08.2010-27.08.2010
    Místo konáníBrno
    ZeměCZ - Česká republika
    Typ akceWRD
    Jazyk dok.eng - angličtina
    Země vyd.DE - Německo
    Klíč. slovalengths of proofs ; computational time
    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 WOS000286162100003
    EID SCOPUS77956587235
    DOI10.1007/978-3-642-15205-4_3
    AnotaceWe study several situations where it is possible to extract a feasible computational information from a proof, either in a first-order theory or in a propositional proof system.
    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