On expressivity and compositionality in logics for coalgebras (2003)

by C Ĉırstea
Venue:Coalgebraic Methods in Computer Science, volume 82.1 of Electronic Notes in Theoretical Computer Science