Advances and applications of automata on words and trees : abstracts collection
- From 12.12.2010 to 17.12.2010, the Dagstuhl Seminar 10501 "Advances and Applications of Automata on Words and Trees" was held in Schloss Dagstuhl - Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
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-244051 |
| URL: | http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3148 |
| 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: | Automata theory; algorithms; data structures; logic; verification |
| Volume: | 2011 |
| Page Number: | 12 |
| HeBIS-PPN: | 291573959 |
| 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 |
