Login / Signup

for Termination of Rewriting Systems.

Bernard R. HodgsonClement F. Kent
Published in: CTRS (1990)
Keyphrases
  • rewriting systems
  • rewriting rules
  • software engineering