Quotients and atoms of reversible languages
author
Tamm, Hellis
statement of authorship
Hellis Tamm
source
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
location of publication
Cham
publisher
Springer International Publishing AG
year of publication
2020
pages
p. 443-455
series
Lecture notes in computer science ; 12233
conference name, date
FM 2019 : International Symposium on Formal Methods, October 7-11, 2019
conference location
Porto, Portugal
url
https://doi.org/10.1007/978-3-030-54997-8_28
subject term
abstraktsed automaadid
automaaditeooria
Scopus
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q3
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
keyword
reversible deter-ministic finite automata (REV-DFAs)
ISSN
0302-9743
ISBN
978-3-030-54996-1
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory