CLIMA XV 2014: Prague, Czech Republic

Main Session

Logics for Agreement Technologies

Logics for Games, Strategic Reasoning, and Social Choice

maintained by Schloss Dagstuhl LZI at University of Trier