Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond.

Volker Weispfenning

Published in: Appl. Algebra Eng. Commun. Comput. (1997)

Keyphrases

quantifier elimination
constraint propagation
constraint query languages
first order logic
query language
constraint databases
boolean algebra
functional programming
presburger arithmetic
database
computational complexity
expert systems
data model
general purpose
constraint satisfaction
set theory