Presburgerness of predicates regular in two number systems
From MaRDI portal
Cites work
Cited in
(25)- scientific article; zbMATH DE number 7089069 (Why is no real title available?)
- A Generalization of Semenov’s Theorem to Automata over Real Numbers
- A more reasonable proof of Cobham's theorem
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
- The lattice of definability: origins, recent developments, and further directions
- Self-similar tiling systems, topological factors and stretching factors
- On iterating linear transformations over recognizable sets of integers
- First-order logic and numeration systems
- On recognizable sets of integers
- Büchi automata recognizing sets of reals definable in first-order logic with addition and order
- A generalization of Cobham's theorem to automata over real numbers
- Cobham-Semenov theorem and \(\mathbb N^d\)-subshifts
- THE BASE PROBLEM FOR D0L PARIKH SETS
- scientific article; zbMATH DE number 7379289 (Why is no real title available?)
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
- Counting the solutions of Presburger equations without enumerating them.
- An extension of the Cobham-Semënov Theorem
- Lattice of definability (of reducts) for integers with successor
- On multiplicatively dependent linear numeration systems, and periodic points
- Lattice of definability in the order of rational numbers
- Recurrence along directions in multidimensional words
- On interpretations of Presburger arithmetic in Büchi arithmetics
- Semiautomatic structures
- Addition machines, automatic functions and open problems of Floyd and Knuth
- A list of arithmetical structures complete with respect to the first-order definability
This page was built for publication: Presburgerness of predicates regular in two number systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1259594)
