Počet záznamů: 1
Separating the Classes of Recursively Enumerable Languages Based on Machine Size
- 1.
SYSNO 0449858 Název Separating the Classes of Recursively Enumerable Languages Based on Machine Size Tvůrce(i) van Leeuwen, J. (NL)
Wiedermann, Jiří (UIVT-O) RID, SAI, ORCIDZdroj.dok. International Journal of Foundations of Computer Science. Roč. 26, č. 6 (2015), s. 677-695 Druh dok. Článek v odborném periodiku Grant GAP202/10/1333 GA ČR - Grantová agentura ČR GA15-04960S, CZ - Česká republika Institucionální podpora UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. SG Klíč.slova recursively enumerable languages * RE hierarchy * finite languages * machine size * descriptional complexity * Turing machines with advice Trvalý link http://hdl.handle.net/11104/0251272 Název souboru Staženo Velikost Komentář Verze Přístup a0449858.pdf 12 262.7 KB Vydavatelský postprint vyžádat
Počet záznamů: 1