Sign in

From Strong Amalgamability to Modularity of Quantifier-Free Interpolation.

Roberto BruttomessoSilvio GhilardiSilvio Ranise
Published in: IJCAR (2012)
Keyphrases
  • quantifier free
  • quantifier elimination
  • rewrite systems
  • first order logic
  • real numbers
  • databases
  • high level
  • artificial intelligence
  • search algorithm
  • np complete
  • expressive power