Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
scientific article; zbMATH DE number 908463
scientific article