A Compositional Approach to Superimposition.

Luc Bougé Nissim Francez

Published in: POPL (1988)

Keyphrases

multi channel
np hard
database
high level
data analysis
upper bound
semi automatic
theorem proving