TY  - RPRT
TI  - An expressive completeness theorem for coalgebraic modal mu-calculi
AU  - Sebastian Enqvist
AU  - Fatemeh Seifan
AU  - Yde Venema
PY  - 2017
DO  - 10.23638/lmcs-13(2:14)2017
UR  - https://arxiv.org/abs/1704.08637
ID  - 1704.08637
ER  -