On Equational Craig Interpolation.

Grigore Rosu Joseph A. Goguen

Published in: J. Univers. Comput. Sci. (2000)

Keyphrases

theorem proving
interpolation method
image interpolation
equational theories
theorem prover
interpolation methods
interpolation algorithm
sparse sampling
real time
data sets
machine learning
logic programs
linear interpolation
cubic convolution
piecewise polynomial