Pages that link to "Item:Q1259594"
From MaRDI portal
The following pages link to Presburgerness of predicates regular in two number systems (Q1259594):
Displaying 25 items.
- Recurrence along directions in multidimensional words (Q785801) (← links)
- Self-similar tiling systems, topological factors and stretching factors (Q1006395) (← links)
- A generalization of Cobham's theorem to automata over real numbers (Q1014642) (← links)
- On recognizable sets of integers (Q1273179) (← links)
- Counting the solutions of Presburger equations without enumerating them. (Q1426156) (← links)
- Semiautomatic structures (Q1694004) (← links)
- On iterating linear transformations over recognizable sets of integers (Q1884908) (← links)
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)
- Lattice of definability in the order of rational numbers (Q2197237) (← links)
- Cobham-Semenov theorem and \(\mathbb N^d\)-subshifts (Q2474222) (← links)
- Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order (Q2988842) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
- First-Order Logic and Numeration Systems (Q4613547) (← links)
- On multiplicatively dependent linear numeration systems, and periodic points (Q4800260) (← links)
- An extension of the Cobham-Semënov Theorem (Q4953215) (← links)
- (Q5009704) (← links)
- Lattice of definability (of reducts) for integers with successor (Q5033990) (← links)
- A Generalization of Semenov’s Theorem to Automata over Real Numbers (Q5191120) (← links)
- (Q5227519) (← links)
- THE BASE PROBLEM FOR D0L PARIKH SETS (Q5291307) (← links)
- A More Reasonable Proof of Cobham’s Theorem (Q5859683) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- On interpretations of Presburger arithmetic in Büchi arithmetics (Q6095191) (← links)
- Addition machines, automatic functions and open problems of Floyd and Knuth (Q6098150) (← links)
- The lattice of definability: origins, recent developments, and further directions (Q6132481) (← links)
