Complementation of coalgebra automata

Autor: Kissig, C., Venema, Y., Kurz, A., Lenisa, M., Tarlecki, A.

Publikováno v: Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings, 81-96
STARTPAGE=81;ENDPAGE=96;TITLE=Algebra and Coalgebra in Computer Science
Algebra and Coalgebra in Computer Science ISBN: 9783642037405
CALCO

Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This coalgebraic perspective on automata lays foundation to a universal theory of aut

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a08e955ff79040ddf64f76c03b9bc69
https://doi.org/10.1007/978-3-642-03741-2_7

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.