Počet záznamů: 1

From feasible proofs to feasible computations

  1. 1.
    0353758 - MU-W 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Krajíček, Jan
    From feasible proofs to feasible computations.
    Computer Science Logic 2010. Heidelberg: Springer, 2010 - (Dawar, A.; Veith, H.), s. 22-31. Lecture Notes in Computer Science, 6247. ISBN 978-3-642-15204-7.
    [Computer science logic 2010. Brno (CZ), 23.08.2010-27.08.2010]
    Grant CEP: GA AV ČR IAA100190902; GA MŠk LC505
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: lengths of proofs * computational time
    Kód oboru RIV: BA - Obecná matematika
    http://link.springer.com/chapter/10.1007%2F978-3-642-15205-4_3

    We 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.
    Trvalý link: http://hdl.handle.net/11104/0192912
    Název souboruStaženoVelikostKomentářVerzePřístup
    Krajicek.pdf1164.1 KBVydavatelský postprintvyžádat