prindi

Quotients and atoms of reversible languages

autor
Tamm, Hellis
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
Springer
ilmumisaasta
2020
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
leitav
https://doi.org/10.1007/978-3-030-54997-8_28
märksõna
abstraktsed automaadid
automaaditeooria
Scopus
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q3
kategooria (üld)
Arvutiteadus
Matemaatika
kategooria (alam)
Arvutiteadus. Üldine arvutiteadus
Matemaatika. Teoreetiline arvutiteadus
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
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
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). https://doi.org/10.1007/978-3-030-54997-8_28