Počet záznamů: 1
Separating the Classes of Recursively Enumerable Languages Based on Machine Size
- 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 souboru Staženo Velikost Komentář Verze Přístup 2014-014.pdf 0 271.2 KB Jiná vyžádat
Počet záznamů: 1