February 19 – 23 , 2001, GI-Dagstuhl Seminar 01082

Automaten, Logiken und unendliche Spiele

Erich Grädel (RWTH Aachen, DE), Wolfgang Thomas (RWTH Aachen, DE), Thomas Wilke (Universität Kiel, DE)