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
ISSN
0302-9743
ISBN
978-3-030-54996-1
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
reversible deter-ministic finite automata (REV-DFAs)
kategooria (üld)
kategooria (alam)
Uurimisrühm
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, 2020. p. 443-455. (Lecture notes in computer science ; 12233).