Completeness for categories of generalized automata

statement of authorship
Guido Boccali, Andrea Laretto, Fosco Loregian, Stefano Luneia
source
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 2023
location of publication
Wadern
year of publication
pages
art. 20, 14 p. : ill
series
Leibniz international proceedings in informatics (LIPIcs) ; 270
conference name, date
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, 19-21 June 2023
conference location
Bloomington
kvartiil
Q2
category (general)
category (sub)
keyword
cocomplete category
deterministic automata
mealy machines
moore machines
ISSN
1868-8969
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
language
inglise
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