Pages that link to "Item:Q2077376"
From MaRDI portal
The following pages link to Decidability and \(k\)-regular sequences (Q2077376):
Displaying 9 items.
- From decidability to undecidability by considering regular sets of instances (Q2062120) (← links)
- Decidability of uniform recurrence of morphic sequences (Q2841990) (← links)
- Non-Regularity of ⌊α + log k n⌋ (Q3559993) (← links)
- Decidability and Specker sequences in intuitionistic mathematics (Q3650323) (← links)
- Decidability and Enumeration for Automatic Sequences: A Survey (Q4928472) (← links)
- Fundamentals of Computation Theory (Q5492918) (← links)
- Bracket words: A generalisation of Sturmian words arising from generalised polynomials (Q6112894) (← links)
- A height gap theorem for coefficients of Mahler functions (Q6172684) (← links)
- Decidability and k-Regular Sequences (Q6341033) (← links)