3 search results - page 1 / 1 » Linear Game Automata: Decidable Hierarchy Problems for Strip... |
156
Voted
CSL
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. For deterministic tree automata, classical hierarchies, like MostowskiRabin (or index) hierarchy, Borel hierarchy, or Wadge hierarchy, are known to be decidable. However,...
249
click to vote
ILC
2007
Springer
16 years 14 days ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
162
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...