Quotients and atoms of reversible languages
author
Tamm, Hellis
statement of authorship
Tamm, Hellis
source
Theoretical Computer Science
publisher
Elsevier
journal volume number month
vol. 920
year of publication
2022
pages
p. 33-45
url
https://doi.org/10.1016/j.tcs.2022.02.023
subject term
programmeerimiskeeled
aatomid
keyword
atom of regular language
left quotient
regular language
reversible automaton
ISSN
0304-3975
notes
Bibliogr.: 20 ref
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
category (sub)
Computer science. General computer science
en
Arvutiteadus. Üldine arvutiteadus
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory