Similar Items: Polishness of some topologies related to word or tree automata
- Alternating register automata on finite words and trees
- Minimisation of Multiplicity Tree Automata
- Pushing for weighted tree automata
- Modal Logics of Topological Relations
- Visibly Tree Automata with Memory and Constraints
- An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet