Overview: 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), and "On some algorithmic problems forgroups and monoids" (S.J. Adian), together with 29 selectedpapers, 6 system descriptions, and a list of open problemsin the field.The papers covermany topics: term rewriting; termination;graph rewriting;
|