About these proceedings
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.
Beweisverfahren Constraint Graph Rewriting Graphumformung Higher Order Logics Logiken höherer Ordnung Semantic Unification Semantische Unifikation Term Rewriting Termersetzung Theorem Proving algorithms