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
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85115397554&origin=inward&txGid=18d7867a99cf324a18f21496268985f3
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
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
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory