Orderings for term-rewriting systems☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Research supported in part under NSF grants MCS 77-22830 and MCS 79-04897. A previous version of this paper appeared in the Proceedings of the Twentieth IEEE Symposium on Foundations of Computer Science, October 1979.
Copyright © 1982 Published by Elsevier B.V.