https://www.dagstuhl.de/01082

February 19 – 23 , 2001, GI-Dagstuhl Seminar 01082

Automaten, Logiken und unendliche Spiele

Organizers

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

For support, please contact

Heike Clemens

Documents

Dagstuhl's Impact: Documents available

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at)dagstuhl.de if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.