5.2 Proof Systems for Coalgebraic Modal Logic.......... 91

Cached

Download Links

by Dirk Pattinson

Active Bibliography

An Introduction to the Theory of – unknown authors
620 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
459 Comprehending Monads – Philip Wadler - 1992
453 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
26 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
276 Model Checking and Modular Verification – Orna Grumberg, David E. Long - 1991
263 Relations in Concurrency – Glynn Winskel