Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Dorsch U, Milius S, Schröder L, Wißmann T
Herausgeber: Corina Cîrstea
Verlag: Springer
Jahr der Veröffentlichung: 2018
Tagungsband: Proc.~Coalgebraic Methods in Computer Science (CMCS'18)
Sprache: Englisch


FAU-Autoren / FAU-Herausgeber

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)


Zitierweisen

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: 

Zuletzt aktualisiert 2018-19-09 um 16:26