TY  - CONF
A1  - Glaßer, Christian
A1  - Pin, Jean-Éric
A1  - Schweikardt, Nicole
A1  - Selivanov, Victor
A1  - Thomas, Wolfgang
T1  - Advances and applications of automata on words and trees : abstracts collection
T2  - Dagstuhl Seminar Proceedings ; 10501
N2  - 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.
KW  - Automata theory
KW  - logic
KW  - verification
KW  - data structures
KW  - algorithms
Y1  - 2011
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/24405
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-244051
UR  - http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=3148
SN  - 1862-4405
VL  - 2011
PB  - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
CY  - Wadern
ER  -