Pages that link to "Item:Q5190326"
From MaRDI portal
The following pages link to On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases (Q5190326):
Displaying 10 items.
- A generalization of Cobham's theorem to automata over real numbers (Q1014642) (← links)
- Substitutive systems and a finitary version of Cobham's theorem (Q2064759) (← links)
- An analogue of Cobham's theorem for graph directed iterated function systems (Q2346036) (← links)
- Automatic Sets of Rational Numbers (Q2947958) (← links)
- Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order (Q2988842) (← links)
- First-Order Logic and Numeration Systems (Q4613547) (← links)
- (Q5009704) (← links)
- (Q5155673) (← links)
- Decidability of Definability Issues in the Theory of Real Addition (Q5880942) (← links)
- An asymptotic version of Cobham’s theorem (Q6180234) (← links)