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), 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; constraint solving; semantic unification,disunification and combination; higher-order logics; andtheorem proving, with several papers on distributed theoremproving, theorem proving with constraints and completion.