A fibrational approach to automata theory

Urbat H, Chen LT (2015)

Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2015

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

Book Volume: 35

Pages Range: 50-65

ISBN: 9783939897842

DOI: 10.4230/LIPIcs.CALCO.2015.50

Authors with CRIS profile

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

Involved external institutions

Swansea University GB United Kingdom (GB)

How to cite

APA:

Urbat, H., & Chen, L.-T. (2015). A fibrational approach to automata theory. In Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015 (pp. 50-65). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

MLA:

Urbat, Henning, and Liang-Ting Chen. "A fibrational approach to automata theory." Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2015. 50-65.

BibTeX: Download