Completeness for categories of generalized automata
author
Boccali, Guido
Laretto, Andrea
Loregian, Fosco
Luneia, Stefano
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
Dagstuhl Publishing
year of publication
2023
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
url
https://doi.org/10.4230/LIPIcs.CALCO.2023.20
subject term
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
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
coalgebras
cocomplete category
deterministic automata
mealy machines
moore machines
ISSN
1868-8969
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise