Events 2001:



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)

Top