Rewriting Techniques and Applications

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 of typed lambda terms: realizability, covers,               and
sheaves“ (J. Gallier), and „On some algorithmic problems for
groups and monoids“ (S. J. Adian), together with 29 selected
papers, 6 system         descriptions, and a list of open problems
in the field.
The papers covermany topics: term rewriting; termination;
graph rewriting; constraint         solving; semantic unification,
disunification and combination; higher-order logics; and
theorem proving, with several papers on distributed                  theorem
proving, theorem proving with constraints and completion.