2 search results - page 1 / 1 » Alternating two-way AC-tree automata |
ILC
2007
Springer
13 years 10 months 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 ...
JALC
2007
13 years 4 months ago
2007
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, ...