Login / Signup

Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems.

Manfred Schmidt-SchaußMassimo MarchioriSven Eric Panitz
Published in: Theor. Comput. Sci. (1995)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs