Rewriting Techniques and Applications 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings / edited by Claude Kirchner.
This volume contains the proceedings of RTA-93, the fifth International Conference on Rewriting Techniques and Applications, held in Montreal, Canada, in June 1993. The volume includes three invited lectures, "Rewrite techniques in theorem proving" (L. Bachmair), "Proving properties o...
Full description
Saved in: