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
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata
Pecan is an automated theorem prover for reasoning about properties of S...
research
∙
01/13/2021
