Sign in

Verification and synthesis using real quantifier elimination.

Thomas SturmAshish Tiwari
Published in: ISSAC (2011)
Keyphrases
  • quantifier elimination
  • functional programming
  • database
  • first order logic
  • cardinality constraints
  • databases
  • search algorithm
  • expert systems
  • object oriented
  • spatial information
  • model checking
  • spatial databases