Multi-dimensional Interpretations of Presburger Arithmetic in Itself.

Fedor Pakhomov Alexander Zapryagaev

Published in: J. Log. Comput. (2020)

Keyphrases

multi dimensional
presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
range queries
cardinality constraints
high dimensional
constraint propagation
functional programming
databases
general purpose
database design
first order logic
satisfiability problem