On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity

0393220 - ÚI 2018 RIV NL eng J - Článek v odborném periodiku
Šíma, Jiří - Žák, Stanislav
On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity.
Fundamenta Informaticae. Roč. 152, č. 4 (2017), s. 397-409. ISSN 0169-2968. E-ISSN 1875-8681
Grant CEP: GA ČR GBP202/12/G061; GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: Turing machine * hierarchy * buffer complexity * diagonalization
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/0221961