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
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.
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-244051
URL:http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3148
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:Automata theory; algorithms; data structures; logic; verification
Volume:2011
Pagenumber:12
HeBIS PPN:291573959
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 $