Coalgebraising Subsequential Transducers
From MaRDI portal
Publication:2873665
DOI10.1016/j.entcs.2008.05.022zbMath1279.18002MaRDI QIDQ2873665
Publication date: 24 January 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.05.022
Related Items
Cites Work
- Sur une variante des fonctions séquentielles
- A proof of Choffrut's theorem on subsequential functions
- Universal coalgebra: A theory of systems
- Determinization of transducers over finite and infinite words.
- Minimizing subsequential transducers: a survey.
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Automata and fixed point logic: a coalgebraic perspective
- Sequential Functions
- A Kleene Theorem for Polynomial Coalgebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item