Login / Signup
Decidable and Undecidable Second-Order Unification Problems.
Jordi Levy
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