A Note on Presburger Arithmetic with Array Segments, Permutation and Equality.

Louis E. Rosier

Published in: Inf. Process. Lett. (1986)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint databases
relational databases
query language
satisfiability problem
constraint propagation
data management
functional programming