Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Catherine Delor, Laurence Puel. Extension of the Associative Path Ordering to a Chain of Associative Commutative Symbols. 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 389-404, Springer, 1993.

This author has not been identified. Look up 'Catherine Delor' in GoogleThis author has not been identified. Look up 'Laurence Puel' in Google

runs on WebDSL