Veranstaltungen 2001:



19. – 23. Februar 2001, GI-Dagstuhl Seminar 01082

Automaten, Logiken und unendliche Spiele


E. Grädel (Aachen), W. Thomas (Aachen), T. Wilke (Kiel)

Top