Košík

    1.
    0462811 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
    Thapen, Neil
    A tradeoff between length and width in resolution.
    Theory of Computing. Roč. 12, č. 5 (2016), s. 1-14. ISSN 1557-2862. E-ISSN 1557-2862
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: proof complexity * resolution * trade-off
    Obor OECD: Pure mathematics
    http://toc.nada.kth.se/articles/v012a005/index.html
    Trvalý link: http://hdl.handle.net/11104/0262196
    Název souboruStaženoVelikostKomentářVerzePřístup
    Thapen1.pdf2238.6 KBVydavatelský postprintpovolen
     
     

  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