Reordering derivatives of trace closures of regular languages [Online resource]
vastutusandmed
Hendrik Maarand, Tarmo Uustalu
allikas
30th International Conference on Concurrency Theory : (CONCUR 2019)
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 40 ; 40:1–40:16
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 140
konverentsi nimetus, aeg
30th International Conference on Concurrency Theory : (CONCUR 2019)
ISSN
1868-8969
ISBN
978-3-95977-121-4
märkused
Bibliogr.: 22 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
TTÜ märksõna
võtmesõna
trace closure
finite automata
language derivatives
scattering rank
star-connected expressions
kategooria (üld)
kategooria (alam)
Uurimisrühm
Maarand, H., Uustalu, T. Reordering derivatives of trace closures of regular languages [Online resource] // 30th International Conference on Concurrency Theory : (CONCUR 2019). Saarbrücken/Wadern : Dagstuhl Publishing, 2019. art. 40 ; 40:1–40:16. (Leibniz international proceedings in informatics (LIPIcs) ; 140).