Decidable and Undecidable Second-Order Unification Problems.

Published in: RTA (1998)

Keyphrases

np complete
sufficient conditions
higher order
information systems
real time
data mining
machine learning
optimization problems
logic programs
high order
phase transition
problems involving
function symbols