Uniqueness, Definability and Interpolation.

Kosta Dosen Peter Schroeder-Heister

Published in: J. Symb. Log. (1988)

Keyphrases

fixed point
sufficient conditions
propositional logic
image interpolation
linear interpolation
interpolation methods
database
search engine
image processing
low pass filtering
displacement estimation