Boolean automata and atoms of regular languages
author
Tamm, Hellis
statement of authorship
Hellis Tamm
source
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia : proceedings
publisher
Dagstuhl Publishing
year of publication
2021
pages
art. 86, p. 86:1–86:13
series
Leibniz international proceedings in informatics (LIPIcs) ; 202
conference name, date
46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), 23-27 August, 2021
conference location
Tallinn, Estonia
url
https://doi.org/10.4230/LIPIcs.MFCS.2021.86
Scopus
Conference Proceedings at Scopus
Article at Scopus
kvartiil
Q3
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
keyword
atoms
boolean automaton
regular languages
ISSN
1868-8969
ISBN
978-3-95977-201-3
notes
Bibliogr.: 24 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory