Quantifier Elimination for a Class of Intuitionistic Theories.

Ben Ellison Jonathan Fleischmann Dan McGinn Wim Ruitenburg

Published in: Notre Dame J. Formal Log. (2008)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
constraint databases
databases
data model
theorem prover
fuzzy numbers