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 International Publishing AG
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)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
kategooria (alam)
Computer science. General computer science
en
Arvutiteadus. Üldine arvutiteadus
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
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