On Algebras with Effectful Iteration

Milius S, Adámek J, Urbat H (2018)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2018

Publisher: Springer

Series: Lecture Notes Comput.~Sci.

City/Town: Heidelberg

Conference Proceedings Title: Proc.~Coalgebraic Methods in Computer Science (CMCS'18)

Event location: Thessaloniki

Authors with CRIS profile

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

Related research project(s)

Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX) Oct. 1, 2014 - July 31, 2018

Involved external institutions

Technische Universität Braunschweig DE Germany (DE)

How to cite

APA:

Milius, S., Adámek, J., & Urbat, H. (2018). On Algebras with Effectful Iteration. In Corina Cîrstea (Eds.), Proc.~Coalgebraic Methods in Computer Science (CMCS'18). Thessaloniki: Heidelberg: Springer.

MLA:

Milius, Stefan, Jiří Adámek, and Henning Urbat. "On Algebras with Effectful Iteration." Proceedings of the 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, Thessaloniki Ed. Corina Cîrstea, Heidelberg: Springer, 2018.

BibTeX: Download