Interpolation and Definability in Guarded Fragments.

Eva Hoogland Maarten Marx

Published in: Stud Logica (2002)

Keyphrases

fixed point
propositional logic
image interpolation
first order logic
guarded fragment
interpolation methods
linear interpolation
query answering
interpolation algorithm
np complete
video sequences
databases
interpolation method
cubic spline
low pass filtering
edge directed
database