Ostatní výsledky
-
2019
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report), zpráva odborná, 2019
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M.
2019
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report), zpráva odborná, 2019
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M.