Dorsch U, Milius S, Schröder L, Wißmann T (2018)
Publication Language: English
Publication Type: Conference contribution
Publication year: 2018
Publisher: Springer
Conference Proceedings Title: Proc.~Coalgebraic Methods in Computer Science (CMCS'18)
Event location: Thessaloniki
DOI: 10.1007/978-3-030-00389-0_5
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: Download