Quotients and atoms of reversible languages

autor
vastutusandmed
Hellis Tamm
allikas
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 443-455
seeria-sari
Lecture notes in computer science ; 12233
konverentsi nimetus, aeg
FM 2019 : International Symposium on Formal Methods, October 7-11, 2019
konverentsi toimumispaik
Porto, Portugal
kvartiil
Q3
kategooria (üld)
võtmesõna
reversible deter-ministic finite automata (REV-DFAs)
ISSN
0302-9743
ISBN
978-3-030-54996-1
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
Tamm, H. Quotients and atoms of reversible languages // Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Cham : Springer International Publishing AG, 2020. p. 443-455. (Lecture notes in computer science ; 12233). https://doi.org/10.1007/978-3-030-54997-8_28