Publisher's Synopsis
Proceedings of the meeting held June 1990 at Concordia U. in Montreal, Canada. Topics included the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques, such as graph rewriting, combinator based languages, and their application to parallel a