Descriptive and Relative Completeness of Logics for Higher-Order Functions.

Kohei Honda Martin Berger Nobuko Yoshida

Published in: ICALP (2) (2006)

Keyphrases

higher order
higher order logic
anti unification
natural images
pairwise
high order
low order
markov random field
expressive power
modal logic
propositional calculus
database
inductive learning
decision trees
image processing
neural network
real time