Interpretations of Presburger Arithmetic in Itself.

Alexander Zapryagaev Fedor Pakhomov

Published in: LFCS (2018)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint propagation
functional programming
modal logic
satisfiability problem
database
feature vectors
general purpose
model theoretic
cardinality constraints
constraint databases