On the Decidability of Presburger Arithmetic Expanded with Powers.

Toghrul Karimov Florian Luca Joris Nieuwveld Joël Ouaknine James Worrell

Published in: CoRR (2024)

Keyphrases

presburger arithmetic
decision procedures
quantifier elimination
algebraic structure
modal logic
theorem proving
description logics
automated reasoning
model theoretic
query answering
database
constraint propagation
satisfiability problem
conjunctive queries
cardinality constraints
functional programming
databases