Carvalho IndexTheorem
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
