Veranstaltungen 2001:



19. – 23. Februar 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