Modular construction of complete coalgebraic logics (0)

by C Ĉırstea, D Pattinson
Venue:Theoret. Comp. Sci