Eilenberg Theorems for Free

Urbat H, Adámek J, Chen LT, Milius S (2017)

Publication Type: Conference contribution, Conference Contribution

Publication year: 2017

Publisher: Schloss Dagstuhl

Series: LIPIcs

Book Volume: 83

Pages Range: 43:1-43:14

Conference Proceedings Title: Proc.~42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)

ISBN: 9783959770460

DOI: 10.4230/LIPIcs.MFCS.2017.43

Authors with CRIS profile

Stefan Milius 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

Swansea University GB United Kingdom (GB) Technische Universität Braunschweig DE Germany (DE)

How to cite

APA:

Urbat, H., Adámek, J., Chen, L.-T., & Milius, S. (2017). Eilenberg Theorems for Free. In G.~Larsen K, L.~Bodlaender H, Raskin J (Eds.), Proc.~42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (pp. 43:1-43:14). Schloss Dagstuhl.

MLA:

Urbat, Henning, et al. "Eilenberg Theorems for Free." Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017 Ed. G.~Larsen K, L.~Bodlaender H, Raskin J, Schloss Dagstuhl, 2017. 43:1-43:14.

BibTeX: Download