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
publisher
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
ISSN
1868-8969
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
category (general)
category (sub)
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).