Login / Signup

Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems.

Bernhard Gramlich
Published in: LPAR (1992)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • databases
  • term rewriting
  • rewrite systems
  • high level
  • database systems
  • logic programming
  • modular structure