Modular proof systems for coalgebraic logics (0)

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