Similar Items: Alternating register automata on finite words and trees
- History-Register Automata
- Polishness of some topologies related to word or tree automata
- Determinisability of register and timed automata
- Bisimilarity in fresh-register automata
- Alternating, private alternating, and quantum alternating realtime automata
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic