Trees in Coalgebra from Generalized Reachability (bibtex)

by Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot and Ruben Turkenburg

Reference:

Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot and Ruben Turkenburg: Trees in Coalgebra from Generalized Reachability, In Corina Cîrstea, Alexander Knapp, eds.: 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025), Leibniz International Proceedings in Informatics (LIPIcs), vol. 342, pp. 15:1–15:18, 2025. CALCO 2025 Best Paper Award

Bibtex Entry:

@inproceedings{WKRT25,
  author       = {Thorsten Wi{\ss}mann and B\'alint Kocsis and Jurriaan Rot and Ruben Turkenburg},
  title        = {Trees in Coalgebra from Generalized Reachability},
  booktitle =	{11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)},
  pages =	{15:1--15:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  year =	{2025},
  volume =	{342},
  editor =	{C\^{i}rstea, Corina and Knapp, Alexander},
  month        = 09,
  note = {CALCO 2025 Best Paper Award},
  doi =		{10.4230/LIPIcs.CALCO.2025.15},
  preprinturl  = {https://arxiv.org/abs/2503.15585},
}