TY  - RPRT
TI  - Sound and complete axiomatizations of coalgebraic language equivalence
AU  - Marcello M. Bonsangue
AU  - Stefan Milius
AU  - Alexandra Silva
PY  - 2017
DO  - 10.1145/2422085.2422092
UR  - https://arxiv.org/abs/1104.2803
ID  - 1104.2803
ER  -