Login / Signup

Some classes of term rewriting systems inferable from positive data.

M. R. K. Krishna Rao
Published in: Theor. Comput. Sci. (2008)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • multi class
  • knowledge base