Number of the records: 1
On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity
SYS 0393220 LBL 02153^^^^^2200313^^^450 005 20240103202644.8 014 $a 85019447188 $2 SCOPUS 014 $a 000401338000004 $2 WOS 017 $a 10.3233/FI-2017-1526 $2 DOI 100 $a 20140325d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity 215 $a 13 s. 463 -1
$1 001 cav_un_epca*0258140 $1 011 $a 0169-2968 $e 1875-8681 $1 200 1 $a Fundamenta Informaticae $v Roč. 152, č. 4 (2017), s. 397-409 $1 210 $c IOS Press 610 0-
$a Turing machine 610 0-
$a hierarchy 610 0-
$a buffer complexity 610 0-
$a diagonalization 700 -1
$3 cav_un_auth*0100836 $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $4 070 $a Šíma $b Jiří $p UIVT-O $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100865 $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $4 070 $a Žák $b Stanislav $p UIVT-O $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1