CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
SGF-Quantales and their Groupoids In Proceedings
January 2015
-
Weak Completeness of Coalgebraic Dynamic Logics In Proceedings
January 2015
-
January 2015
-
Enhanced coalgebraic bisimulation Tech Report
J.C. Rot (Jurriaan), F. Bonchi (Filippo), M.M. Bonsangue (Marcello), D. Pous (Damien), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2015
-
Coalgebraic semantics of heavy-weighted automata Tech Report
M. Fortin (Marie), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2015 -
Proving language inclusion and equivalence by coinduction Tech Report
J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2015
-
Formations of monoids, congruences, and formal languages Tech Report
A. Ballester-Bolinches, E. Cosme-Llopez, R. Esteban-Romero and J.J.M.M. Rutten (Jan)
January 2015
-
Context-free coalgebras Article
Journal of Computer and System Sciences, 911-939.J. Winter (Joost), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2015