Košík

    1.
    0437494 - MÚ 2015 RIV US eng J - Článek v odborném periodiku
    Atserias, A. - Thapen, Neil
    The ordering principle in a fragment of approximate counting.
    ACM Transactions on Computational Logic. Roč. 15, č. 4 (2014), s. 29. ISSN 1529-3785. E-ISSN 1557-945X
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: computational complexity * bounded arithmetic * propositional proof complexity
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.618, rok: 2014
    http://dl.acm.org/citation.cfm?doid=2656934.2629555
    Trvalý link: http://hdl.handle.net/11104/0241058
    Název souboruStaženoVelikostKomentářVerzePřístup
    Thapen1.pdf3134.3 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