Modular proof systems for coalgebraic logics, Theor (0)

by C Cîrstea, D Pattinson
Venue:Comp. Sci. 338 (2007). Expressiveness of Positive Coalgebraic Logic