https://www.dagstuhl.de/01082

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

Automaten, Logiken und unendliche Spiele

Organisatoren

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

Auskunft zu diesem GI-Dagstuhl-Seminar erteilt

Heike Clemens

Dokumente

Dagstuhl's Impact: Dokumente verfügbar

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.