Advances and applications of automata on words and trees : executive summary
- Seminar: 10501 - Advances and Applications of Automata on Words and Trees. The aim of the seminar was to discuss and systematize the recent fast progress in automata theory and to identify important directions for future research. For this, the seminar brought together more than 40 researchers from automata theory and related fields of applications. We had 19 talks of 30 minutes and 5 one-hour lectures leaving ample room for discussions. In the following we describe the topics in more detail.
Download full text files
Additional Services
| Author: | Christian Glaßer, Jean-Éric Pin, Nicole Schweikardt, Victor Selivanov, Wolfgang Thomas |
|---|---|
| URN: | urn:nbn:de:hebis:30:3-244083 |
| URL: | http://drops.dagstuhl.de/opus/volltexte/2011/3147/ |
| ISSN: | 1862-4405 |
| Parent Title (English): | Dagstuhl Seminar Proceedings ; 10501 |
| Publisher: | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |
| Place of publication: | Wadern |
| Document Type: | Conference Proceeding |
| Language: | English |
| Year of Completion: | 2012 |
| Date of first Publication: | 2011/05/26 |
| Publishing Institution: | Universitätsbibliothek Johann Christian Senckenberg |
| Release Date: | 2012/03/13 |
| Tag: | Infinite games with perfect information; combinatorics; hierarchies and reducibilities; reactive systems; specification and verification |
| Volume: | 2011 |
| Page Number: | 4 |
| HeBIS-PPN: | 291576745 |
| Institutes: | Informatik und Mathematik / Informatik |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Sammlungen: | Universitätspublikationen |
| Licence (German): |  Creative Commons - Namensnennung-Nicht kommerziell-Keine Bearbeitung 3.0 |
