11 citations · 11 across the 4 of their papers we have counts for
1 paper · 2 filters
Eion Blanchard, Philipp Hieronymi
We consider Presburger arithmetic extended by the sine function, call this extension sine-Presburger arithmetic (sin-PA), and systematically study decision problems for sets of…