Search results
- 1.0449858 - ÚI 2016 RIV SG eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1333
Grant - others:GA ČR(CZ) GA15-04960S
Institutional support: RVO:67985807
Keywords : recursively enumerable languages * RE hierarchy * finite languages * machine size * descriptional complexity * Turing machines with advice
Subject RIV: IN - Informatics, Computer Science
Impact factor: 0.467, year: 2015
Permanent Link: http://hdl.handle.net/11104/0251272File Download Size Commentary Version Access a0449858.pdf 12 262.7 KB Publisher’s postprint require - 2.0427248 - ÚI 2018 RIV NL eng J - Journal Article
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 - others:GA ČR(CZ) GA15-04960S
Institutional support: RVO:67985807
Keywords : advice functions * co-RE languages * machine models * Turing machines
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.725, year: 2017
Permanent Link: http://hdl.handle.net/11104/0232839File Download Size Commentary Version Access a0427248.pdf 11 271.2 KB Publisher’s postprint require