Similar Items: On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
- Half-Positional Objectives Recognized by Deterministic Büchi Automata
- Decomposition of Automata recognizing Ideals
- Minimisation of Multiplicity Tree Automata
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Automata theory in nominal sets
- Alternating register automata on finite words and trees