Hamilton-Fynch Portfolio
Ana Sokolova University of Salzburg joint work with Bart Jacobs Radboud University Nijmegen Coalgebra Day, 11-3-2008, RUN 1 TexPoint fonts used in EMF.
Exemplaric Expressivity of Modal Logics
Partner presentation COGAIN camp 2007 5 th September, De Montfort University, Leicester, UK