Pages that link to "Item:Q2067513"

The following pages link to Expansions of the group of integers by Beatty sequences (Q2067513):

Displaying 2 items.

• Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence (Q6584962) (← links)
• Decidability for Sturmian words (Q6597962) (← links)