research
∙
03/31/2022
Decidability bounds for Presburger arithmetic extended by sine
We consider Presburger arithmetic extended by the sine function, call th...
share
research
∙
10/22/2021
A strong version of Cobham's theorem
Let k,ℓ≥ 2 be two multiplicatively independent integers. Cobham's famous...
research
∙
02/16/2021
Decidability for Sturmian words
We show that the first-order theory of Sturmian words over Presburger ar...
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/10/2019
Continuous Regular Functions
Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function...
research
∙
05/09/2018
