GI-Dagstuhl-Seminar 01082
Automaten, Logiken und unendliche Spiele
( 19. Feb – 23. Feb, 2001 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/01082
Organisatoren
- Erich Grädel (RWTH Aachen, DE)
- Wolfgang Thomas (RWTH Aachen, DE)
- Thomas Wilke (Universität Kiel, DE)