× Computer Science Logic24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedingsherausgegeben von Anuj Dawar und Helmut VeithMitwirkendeHerausgegeben vonAnuj DawarHerausgegeben vonHelmut VeithFast-track conference proceedings