Login / Signup

Applying Quantifier Elimination to the Birkhoff Interpolation Problem.

Laureano González-Vega
Published in: J. Symb. Comput. (1996)
Keyphrases
  • quantifier elimination
  • functional programming
  • constraint propagation
  • constraint databases
  • presburger arithmetic
  • first order logic
  • expert systems
  • relational databases
  • expressive power
  • constraint query languages