Quantifier elimination for modules.

Volker Weispfenning

Published in: Arch. Math. Log. (1985)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
first order logic
cardinality constraints
constraint databases
databases
artificial intelligence
expressive power
constraint query languages
database
machine learning