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
https://www.scopus.com/sourceid/20571
https://www.scopus.com/record/display.uri?eid=2-s2.0-85125740252&origin=inward&txGid=8f348c5516ec713375880cc196a8c98a
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000830247200004
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory