Login / Signup

Non-effective Quantifier Elimination.

Mihai Prunescu
Published in: Math. Log. Q. (2001)
Keyphrases
  • quantifier elimination
  • database
  • constraint satisfaction
  • artificial intelligence
  • expert systems
  • spatial information
  • first order logic
  • temporal constraints
  • constraint databases