Login / Signup

A New Method for Proving Termination of AC-Rewrite Systems.

Deepak KapurG. SivakumarHantao Zhang
Published in: FSTTCS (1990)
Keyphrases
  • rewrite systems
  • information systems
  • term rewrite systems