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
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
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85089715772&origin=inward&txGid=fec30d6a2b0cd2efd40d2a110267e002
quartile
Q3
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
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
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory