Distributive laws for the coinductive solution of recursive equations

Cached

Download Links

by Bart Jacobs
Venue:Information and Computation
Citations:13 - 1 self

Active Bibliography

3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
734 Notions of Computation and Monads – Eugenio Moggi - 1991
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
5 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
302 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998
282 Basic Description Logics – Franz Baader, Werner Nutt - 2003
4 Generalizing Substitution – Tarmo Uustalu - 2003
21 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007