On the Final Coalgebra of Automatic Sequences
From MaRDI portal
Publication:2897949
DOI10.1007/978-3-642-29485-3_10zbMath1354.68183OpenAlexW1580552975MaRDI QIDQ2897949
Clemens Kupke, Jan J. M. M. Rutten
Publication date: 16 July 2012
Published in: Logic and Program Semantics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3_10
Combinatorics on words (68R15) Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)
Related Items
Linearization of automatic arrays and weave specifications ⋮ Unnamed Item ⋮ A complete logic for behavioural equivalence in coalgebras of finitary set functors ⋮ A Final Coalgebra for k-regular Sequences ⋮ A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors ⋮ Context-free coalgebras
This page was built for publication: On the Final Coalgebra of Automatic Sequences