Add to ORKGFrom 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
We propose a notion of morphisms between tree automata based on game semantics. Morphisms are winnin...
In this paper we explore some connections between some combinatorial properties of words and the stu...
From 24.07.05 to 29.07.05, the Dagstuhl Seminar 05301 ``Exact Algorithms and Fixed-Parameter Tractab...
From 12.12.2010 to 17.12.2010, the Dagstuhl Seminar 10501 ``Advances and Applications of Automata o...
Seminar: 10501 - Advances and Applications of Automata on Words and Trees. The aim of the seminar wa...
The aim of the seminar was to discuss and systematize the recent fast progress in automata theory an...
Automata theory arose as an interdisciplinary field, with roots in several scientific domains such a...
From 07/02/10 to 12/02/10, the Dagstuhl Seminar 10061 ``Circuits, Logic, and Games \u27\u27 was held...
This paper is a survey on the algebraic approach to the theory of automata accepting infinite words....
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close rel...
In the first chapter, we review some standard notations and concepts that are used all through this ...
Abstract. In a data word or a data tree each position carries a label from a finite alphabet and a d...
From 28.10. to 02.11.2007, the Dagstuhl Seminar 07441 ``Algorithmic-Logical Theory of Infinite Struc...
From Jan 18 to Jan 22, 2010, the Dagstuhl Seminar 10031 ``Quantitative Models: Expressiveness and An...
From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 ``Topological and Game-Theoretic Asp...
We propose a notion of morphisms between tree automata based on game semantics. Morphisms are winnin...
In this paper we explore some connections between some combinatorial properties of words and the stu...
From 24.07.05 to 29.07.05, the Dagstuhl Seminar 05301 ``Exact Algorithms and Fixed-Parameter Tractab...
From 12.12.2010 to 17.12.2010, the Dagstuhl Seminar 10501 ``Advances and Applications of Automata o...
Seminar: 10501 - Advances and Applications of Automata on Words and Trees. The aim of the seminar wa...
The aim of the seminar was to discuss and systematize the recent fast progress in automata theory an...
Automata theory arose as an interdisciplinary field, with roots in several scientific domains such a...
From 07/02/10 to 12/02/10, the Dagstuhl Seminar 10061 ``Circuits, Logic, and Games \u27\u27 was held...
This paper is a survey on the algebraic approach to the theory of automata accepting infinite words....
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close rel...
In the first chapter, we review some standard notations and concepts that are used all through this ...
Abstract. In a data word or a data tree each position carries a label from a finite alphabet and a d...
From 28.10. to 02.11.2007, the Dagstuhl Seminar 07441 ``Algorithmic-Logical Theory of Infinite Struc...
From Jan 18 to Jan 22, 2010, the Dagstuhl Seminar 10031 ``Quantitative Models: Expressiveness and An...
From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 ``Topological and Game-Theoretic Asp...
We propose a notion of morphisms between tree automata based on game semantics. Morphisms are winnin...
In this paper we explore some connections between some combinatorial properties of words and the stu...
From 24.07.05 to 29.07.05, the Dagstuhl Seminar 05301 ``Exact Algorithms and Fixed-Parameter Tractab...