Login / Signup

Simple Termination of Hierarchical Combinations of Term Rewriting Systems.

M. R. K. Krishna Rao
Published in: TACS (1994)
Keyphrases
  • term rewriting systems
  • high level
  • xml data