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.0427248 - ÚI 2018 RIV NL eng J - Článek v odborném periodiku
van Leeuwen, J. - Wiedermann, Jiří
Turing Machines with One-sided Advice and Acceptance of the co-RE Languages.
Fundamenta Informaticae. Roč. 153, č. 4 (2017), s. 347-366. ISSN 0169-2968. E-ISSN 1875-8681
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: advice functions * co-RE languages * machine models * Turing machines
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.725, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0232839Název souboru Staženo Velikost Komentář Verze Přístup a0427248.pdf 11 271.2 KB Vydavatelský postprint vyžádat