Login / Signup

Proving Termination for Term Rewriting Systems.

Andreas Weiermann
Published in: CSL (1991)
Keyphrases
  • term rewriting systems
  • term rewrite systems
  • logic programs
  • functional programs
  • rewrite rules
  • rewrite systems
  • logic programming
  • database
  • nearest neighbor
  • term rewriting