Login / Signup
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