Trees in Coalgebra from Generalized Reachability

Wißmann T, Kocsis B, Turkenburg R, Rot J (2025)

Publication Type: Conference contribution

Publication year: 2025

Series: Leibniz International Proceedings in Informatics (LIPIcs)

Book Volume: 342

Pages Range: 15:1--15:18

Conference Proceedings Title: 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)

DOI: 10.4230/LIPIcs.CALCO.2025.15

Authors with CRIS profile

Thorsten Wißmann Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Radboud University Nijmegen NL Netherlands (NL)

How to cite

APA:

Wißmann, T., Kocsis, B., Turkenburg, R., & Rot, J. (2025). Trees in Coalgebra from Generalized Reachability. In Cîrstea C, Knapp A (Eds.), 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) (pp. 15:1--15:18).

MLA:

Wißmann, Thorsten, et al. "Trees in Coalgebra from Generalized Reachability." Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) Ed. Cîrstea C, Knapp A, 2025. 15:1--15:18.

BibTeX: Download