History log of /hets/GMP/papers/heterogenous/header.tex
Revision Date Author Comments Expand
d79305bc03c0a2520cb51e89705fdad8da371614 04-Mar-2010 Daniel Hausmann <hausmann@informatik.uni-bremen.de>

compositional coloss, first "stable" version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13154 cec4b9c1-7d33-0410-9eda-942365e851bb
304d15b2ffa9376d78bddcfc63569824381714ab 21-Oct-2009 Daniel Hausmann <hausmann@informatik.uni-bremen.de>

First version of a paper about heterogenous modal logics in CoLoSS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12686 cec4b9c1-7d33-0410-9eda-942365e851bb