Decidability bounds for Presburger arithmetic extended by sine.

Eion Blanchard Philipp Hieronymi

Published in: CoRR (2022)

Keyphrases

presburger arithmetic
decision procedures
quantifier elimination
algebraic structure
description logics
databases
constraint satisfaction
modal logic
automated reasoning