Finite behaviours and finitary corecursion

Urbat H (2017)

Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2017

Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Book Volume: 72

Article Number: 24

ISBN: 9783959770330

DOI: 10.4230/LIPIcs.CALCO.2017.24

Authors with CRIS profile

Henning Urbat Lehrstuhl für Informatik 8 (Theoretische Informatik)

How to cite

APA:

Urbat, H. (2017). Finite behaviours and finitary corecursion. In Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

MLA:

Urbat, Henning. "Finite behaviours and finitary corecursion." Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017.

BibTeX: Download