Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ing.
Ph.D.
FIT, VZ VERIFIT – členka
+420 54114 1178ituronova@fit.vut.cz
Odeslat VUT zprávu
2019
HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. p. 1-19.
*) Citace se generují jednou za 24 hodin.