Reordering derivatives of trace closures of regular languages [Online resource]
author
statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
30th International Conference on Concurrency Theory : (CONCUR 2019)
location of publication
Saarbrücken/Wadern
publisher
year of publication
pages
art. 40 ; 40:1–40:16
series
Leibniz international proceedings in informatics (LIPIcs) ; 140
conference name, date
30th International Conference on Concurrency Theory : (CONCUR 2019)
subject term
kvartiil
category (general)
category (sub)
TTÜ subject term
keyword
trace closure
finite automata
language derivatives
scattering rank
star-connected expressions
ISSN
1868-8969
ISBN
978-3-95977-121-4
notes
Bibliogr.: 22 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
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).