Rewriting Techniques and Applications

This volume contains the proceedings of RTA-93, the fifthInternational Conference on Rewriting Techniques andApplications, held in Montreal, Canada, in June 1993.The volume includes three invited lectures, "Rewritetechniques in theorem proving" (L. Bachmair), "Provingproperties of typed lambda terms: realizability, covers, andsheaves" (J. Gallier),...