Reordering derivatives of trace closures of regular languages [Online resource]
autor
Maarand, Hendrik
Uustalu, Tarmo
vastutusandmed
Hendrik Maarand, Tarmo Uustalu
allikas
30th International Conference on Concurrency Theory : (CONCUR 2019)
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2019
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)
leitav
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
märksõna
tekstitöötlus
mittelineaarsed süsteemid
hajussüsteemid
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85071609227&origin=inward&txGid=744304a9fedf8eba5714cdb0ce382fe3
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
TTÜ märksõna
Mazurkiewiczi jälgede teooria
võtmesõna
Mazurkiewicz traces
trace closure
regular languages
finite automata
language derivatives
scattering rank
star-connected expressions
ISSN
1868-8969
ISBN
978-3-95977-121-4
märkused
Bibliogr.: 22 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium