Completeness for categories of generalized automata
autor
Boccali, Guido
Laretto, Andrea
Loregian, Fosco
Luneia, Stefano
vastutusandmed
Guido Boccali, Andrea Laretto, Fosco Loregian, Stefano Luneia
allikas
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 2023
ilmumiskoht
Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2023
leheküljed
art. 20, 14 p. : ill
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 270
konverentsi nimetus, aeg
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, 19-21 June 2023
konverentsi toimumispaik
Bloomington
leitav
https://doi.org/10.4230/LIPIcs.CALCO.2023.20
märksõna
algebra
automaadid (seadmed)
kategooriateooria
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85172138941&origin=inward&txGid=ae42bac89932d0db3273c6f40b280962
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
coalgebras
cocomplete category
deterministic automata
mealy machines
moore machines
ISSN
1868-8969
märkused
Bibliogr.: 25 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise