Coalgebraic modal logic: Soundness, completeness and decidability of local consequence (2002)

Cached

Download Links

by Dirk Pattinson
Venue:Theoret. Comput. Sci
Citations:51 - 24 self