TY  - RPRT
TI  - Decidability bounds for Presburger arithmetic extended by sine
AU  - Eion Blanchard
AU  - Philipp Hieronymi
PY  - 2022
UR  - https://arxiv.org/abs/2204.00099
ID  - 2204.00099
ER  -