Sign in

Rewriting-based Quantifier-free Interpolation for a Theory of Arrays.

Roberto BruttomessoSilvio GhilardiSilvio Ranise
Published in: RTA (2011)
Keyphrases
  • quantifier free
  • first order logic
  • quantifier elimination
  • rewrite systems
  • real numbers
  • relational data model
  • expert systems
  • entity relationship
  • functional programming