On the Final Coalgebra of Automatic Sequences

Clemens Kupke, Jan J. M. M. Rutten. On the Final Coalgebra of Automatic Sequences. In Robert L. Constable, Alexandra Silva, editors, Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Volume 7230 of Lecture Notes in Computer Science, pages 149-164, Springer, 2012. [doi]

@inproceedings{KupkeR12,
  title = {On the Final Coalgebra of Automatic Sequences},
  author = {Clemens Kupke and Jan J. M. M. Rutten},
  year = {2012},
  doi = {10.1007/978-3-642-29485-3_10},
  url = {http://dx.doi.org/10.1007/978-3-642-29485-3_10},
  researchr = {https://researchr.org/publication/KupkeR12},
  cites = {0},
  citedby = {0},
  pages = {149-164},
  booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday},
  editor = {Robert L. Constable and Alexandra Silva},
  volume = {7230},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-29484-6},
}