Quantifier Elimination for Modules with Scalar Variables.

Lou van den Dries Jan E. Holly

Published in: Ann. Pure Appl. Log. (1992)

Keyphrases

quantifier elimination
cardinality constraints
constraint propagation
presburger arithmetic
functional programming
constraint databases
first order logic
machine learning
random variables
database
databases
general purpose
expressive power
functional dependencies
entity relationship