täiskirje prindi

Completeness for categories of generalized automata

autor
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
ilmumisaasta
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
ISSN
1868-8969
märkused
Bibliogr.: 25 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
coalgebras
cocomplete category
deterministic automata
mealy machines
moore machines
kategooria (üld)
kategooria (alam)
Boccali, G., Laretto, A., Loregian, F., Luneia, S. Completeness for categories of generalized automata // 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 2023. Wadern : Dagstuhl Publishing, 2023. art. 20, 14 p. : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 270). https://doi.org/10.4230/LIPIcs.CALCO.2023.20