Centrum Wiskunde & Informatica

Weak Completeness of Coalgebraic Dynamic Logics In Proceedings

H.H. Hansen (Helle) and C.A. Kupke (Clemens)

January 2015
Universal coalgebra: a theory of systems Article

Theoretical Computer Science

J.J.M.M. Rutten (Jan)

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
De Nederlandse helden van het internet Magazine Article

S. Pemberton (Steven) and P. Beertema (Piet)

January 2015
HTML5 is the New Flash Lecture

S. Pemberton (Steven)

January 2015
XForms: an Unusual Worked Example Lecture

S. Pemberton (Steven)

January 2015
XForms, an Introduction Lecture

S. Pemberton (Steven)

January 2015

Previous

Next