Počet záznamů: 1
Partially ordered automata and piecewise testability
SYS 0542403 LBL 01000a^^22220027750^450 005 20240103225808.5 014 $a 85108388804 $2 SCOPUS 014 $a 000658731000014 $2 WOS 017 $a 10.23638/LMCS-17(2:14)2021 $2 DOI 100 $a 20210517d m y slo 03 ba 101 $a eng $d eng 102 $a DE 200 1-
$a Partially ordered automata and piecewise testability 215 $a 36 s. 463 -1
$1 001 cav_un_epca*0344703 $1 011 $a 1860-5974 $e 1860-5974 $1 200 1 $a Logical Methods in Computer Science $v Roč. 17, č. 2 (2021) $1 210 $c Logical Methods in Computer Science 610 $a automata 610 $a nondeterminism 610 $a complexity 700 -1
$3 cav_un_auth*0262819 $a Masopust $b Tomáš $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0332782 $a Krötzsch $b M. $y DE $4 070 856 $u https://dx.doi.org/10.23638/LMCS-17(2:14)2021 $9 RIV
Počet záznamů: 1