2 search results - page 1 / 1 » Alternating two-way AC-tree automata |
ILC
2007
Springer
14 years 5 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 10 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, ...