From Strong Amalgamability to Modularity of Quantifier-Free Interpolation.

Roberto Bruttomesso Silvio Ghilardi Silvio 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