Nils and Wojtek give a course on "Decision Problems and Decision Procedures for Strategic Logics" at the European Summer School in Logic, Language and Information (ESSLLI).

From: 01.08.2011 08:00

Zurück