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