Arbeitsgruppe Theoretische Informatik

"Modal Independence Logic" auf der AiML 2014

20.05.2014

Die Arbeit "Modal Independence Logic" von Juha Kontinen, Julian-Steffen Müller, Henning Schnoor and Heribert Vollmer wurde zur AiML 2014 (Advances in Modal Logic) angenommen.