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, "e;Rewritetechniques in theorem proving"e; (L. Bachmair), "e;Provingproperties of typed lambda terms: realizability, covers, andsheaves"e; (J. Gallier), and "e;On some algorithmic problems forgroups and monoids"e; (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; constraint solving; semantic unification,disunification and combination; higher-order logics; andtheorem proving, with several papers on distributed theoremproving, theorem proving with constraints and completion.