2026-07-23T05:41:56Z
https://drops.dagstuhl.de/oai
oai:drops-oai.dagstuhl.de:3148
2024-03-06T11:09:33Z
ddc:004
open_access
10501 Abstracts Collection – Advances and Applications of Automata on Words and Trees
Glasser, Christian
Pin, Jean-Eric
Schweikardt, Nicole
Selivanov, Victor
Thomas, Wolfgang
Automata theory
logic
verification
data structures
algorithms
complexity
games
infinite games with perfect information
reactive systems
specification and verification
combinatorics
hierarchies and reducibilities
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.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Christian Glasser and Jean-Eric Pin and Nicole Schweikardt and Victor Selivanov and Wolfgang Thomas
2011
Is Part Of Dagstuhl Seminar Proceedings, Volume 10501, Advances and Applications of Automata on Words and Trees (2011)
InProceedings
Text
doc-type:ResearchArticle
publishedVersion
application/pdf
doi:10.4230/DagSemProc.10501.1
urn:nbn:de:0030-drops-31486
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10501.1
eng
https://creativecommons.org/licenses/by/4.0/legalcode