research
∙
02/16/2021
Decidability for Sturmian words
We show that the first-order theory of Sturmian words over Presburger ar...
share
research
∙
02/02/2021
Use your Google Account to sign in to DeepAI
