Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories

Dominique Perrin, Paul E. Schupp

Browse the full LICS paper archive.