Quantifier-free interpolation in combinations of equality interpolating theories.
Roberto BruttomessoSilvio GhilardiSilvio RanisePublished in: ACM Trans. Comput. Log. (2014)
Keyphrases
- quantifier free
- interpolation method
- quantifier elimination
- first order logic
- rewrite systems
- satisfiability modulo theories
- real numbers
- constraint propagation
- inference rules
- relational data model
- functional programming
- term rewriting
- xml documents
- artificial intelligence
- database
- constraint databases
- boolean formula
- knowledge representation
- relational databases