Login / Signup

A larger decidable semiunification problem.

Brad LushmanGordon V. Cormack
Published in: PPDP (2007)
Keyphrases
  • first order logic
  • decision trees
  • case study