Modular proof systems for coalgebraic logics (0)

by C Cı̈rstea, D Pattinson
Venue:Theor. Comp. Sci