Košík

    1.
    0321832 - MÚ 2009 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Pudlák, Pavel
    Twelve Problems in Proof Complexity.
    [Dvanáct problémů v důkazové složitosti.]
    Computer Science - Theory and Applications. Berlin: Springer, 2008 - (Hirsch, E.; Razborov, A.; Semenov, A.; Slissenko, A.), s. 11-27. ISBN 978-3-540-79708-1.
    [International Computer Science Symposium in Russia, CSR 2008/3./. Moskva (RU), 07.06.2008-12.06.2008]
    Grant CEP: GA AV ČR IAA1019401
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: computational complexity * bounded arithmetic * propositional calculus
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0170258
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak2.pdf1449.5 KBVydavatelský postprintvyžádat
     
     

  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