We consider Presburger arithmetic extended by the sine function, call th...
Let k,ℓ≥ 2 be two multiplicatively independent integers. Cobham's
famous...
We show that the first-order theory of Sturmian words over Presburger
ar...
Pecan is an automated theorem prover for reasoning about properties of
S...
Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function...
We study complexity of integer sentences in S_α =
(R, <, +,Z, x α x), wh...