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