TY  - RPRT
TI  - Completeness of Flat Coalgebraic Fixpoint Logics
AU  - Lutz Schröder
AU  - Yde Venema
PY  - 2016
DO  - 10.1007/978-3-642-15375-4_36
UR  - https://arxiv.org/abs/1004.2717
ID  - 1004.2717
ER  -