Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

Conference contribution


Publication Details

Author(s): Dorsch U, Milius S, Schröder L, Wißmann T
Editor(s): Corina Cîrstea
Publisher: Springer
Publication year: 2018
Conference Proceedings Title: Proc.~Coalgebraic Methods in Computer Science (CMCS'18)
Language: English


FAU Authors / FAU Editors

Dorsch, Ulrich
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Milius, Stefan apl. Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Wißmann, Thorsten
Lehrstuhl für Informatik 8 (Theoretische Informatik)


How to cite

APA:
Dorsch, U., Milius, S., Schröder, L., & Wißmann, T. (2018). Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. In Corina Cîrstea (Eds.), Proc.~Coalgebraic Methods in Computer Science (CMCS'18). Thessaloniki: Springer.

MLA:
Dorsch, Ulrich, et al. "Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages." Proceedings of the 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, Thessaloniki Ed. Corina Cîrstea, Springer, 2018.

BibTeX: 

Last updated on 2018-19-09 at 16:26