Košík

    1.
    0427961 - ÚI 2015 NL eng V - Výzkumná zpráva
    van Leeuwen, J. - Wiedermann, Jiří
    Separating the Classes of Recursively Enumerable Languages Based on Machine Size.
    Utrecht: Utrecht University, 2014. 19 s. Technical Report, UU-CS-2014-014. ISSN 0924-3275
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: Turing machines with advice * machine size * complexity hierarchy
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0233374
    Název souboruStaženoVelikostKomentářVerzePřístup
    2014-014.pdf0271.2 KBJinávyžá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