Výsledky vyhledávání
- 1.0449858 - ÚI 2016 RIV SG eng J - Článek v odborném periodiku
van Leeuwen, J. - Wiedermann, Jiří
Separating the Classes of Recursively Enumerable Languages Based on Machine Size.
International Journal of Foundations of Computer Science. Roč. 26, č. 6 (2015), s. 677-695. ISSN 0129-0541. E-ISSN 1793-6373
Grant CEP: GA ČR GAP202/10/1333
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: recursively enumerable languages * RE hierarchy * finite languages * machine size * descriptional complexity * Turing machines with advice
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.467, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0251272Název souboru Staženo Velikost Komentář Verze Přístup a0449858.pdf 12 262.7 KB Vydavatelský postprint vyžádat - 2.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/0233374Název souboru Staženo Velikost Komentář Verze Přístup 2014-014.pdf 0 271.2 KB Jiná vyžádat