Login / Signup

On Sufficient-Completeness and Related Properties of Term Rewriting Systems.

Deepak KapurPaliath NarendranHantao Zhang
Published in: Acta Informatica (1987)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • database