Quantifier Elimination for Distributive Lattices and Measure Algebras.

Volker Weispfenning

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

Keyphrases

distributive lattices
quantifier elimination
boolean algebra
cardinality constraints
belief functions
general theory
constraint propagation
integrity constraints
functional dependencies
dempster shafer
functional programming
deductive databases
mathematical theory