On expressivity and compositionality in logics for coalgebras (2003)

by C Cîrstea
Venue:In CMCS’03, ENTCS