Coalgebras and their logics (2006)

by A Kurz
Venue:SIGACT News