Complete Problems for Higher Order Logics.

Lauri Hella Jose Maria Turull Torres

Published in: CSL (2006)

Keyphrases

higher order
benchmark problems
pairwise
high order
optimization problems
problems involving
real time
neural network
information retrieval
social networks
image segmentation
database systems