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
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.
show moreshow less

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

    Share in Twitter Search Google Scholar
Metadaten
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
Publisher:Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Place of publication:Wadern
Document Type:Conference Proceeding
Language:English
Date of Publication (online):2011/05/26
Date of first Publication:2011/05/26
Publishing Institution:Univ.-Bibliothek Frankfurt am Main
Release Date:2012/03/13
Tag:Infinite games with perfect information; combinatorics; hierarchies and reducibilities; reactive systems; specification and verification
Volume:2011
Pagenumber:4
HeBIS PPN:291576745
Institutes:Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Sammlungen:Universitätspublikationen
Licence (German):License LogoCreative Commons - Namensnennung-Nicht kommerziell-Keine Bearbeitung 3.0

$Rev: 11761 $