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
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85089715772&origin=inward&txGid=fec30d6a2b0cd2efd40d2a110267e002
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
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