Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings > Extension of the associative path ordering to a chain of associative commutative symbols
Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings |
Claude Kirchner
Springer Berlin Heidelberg
Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Extension of the associative path ordering to a chain of associative commutative symbols
Authors

Catherine Delor; Laurence Puel

ARI Id

1664504367457_1965713

Access

Not Available Free

Pages

389-404

DOI

10.1007/978-3-662-21551-7_29

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-662-21551-7_29

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings