Login / Signup

Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-.

Yoshihito ToyamaJan Willem KlopHendrik Pieter Barendregt
Published in: RTA (1989)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • data points
  • general purpose
  • binary valued