Pages that link to "Item:Q5191120"
From MaRDI portal
The following pages link to A Generalization of Semenov’s Theorem to Automata over Real Numbers (Q5191120):
Displaying 7 items.
- 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)
- 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)
- Externally definable quotients and NIP expansions of the real ordered additive group (Q5036091) (← links)
- Decidability of Definability Issues in the Theory of Real Addition (Q5880942) (← links)
- An asymptotic version of Cobham’s theorem (Q6180234) (← links)
