Generic Hermitian Quantifier Elimination.

Andreas Dolzmann Lorenz A. Gilch

Published in: AISC (2004)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
cardinality constraints
first order logic
constraint databases
domain specific
databases
high level
programming language
relational databases
database management systems
execution model