Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jordi Levy, Jaume Agustí-Cullell. Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. In Claude Kirchner, editor, Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Volume 690 of Lecture Notes in Computer Science, pages 17-31, Springer, 1993.

Abstract is missing.

runs on WebDSL