An introduction to the theory of term rewriting systems. These are a technique used in computer science, especially functional programming, for abstract data ty... » 

An introduction to the theory of term rewriting systems. These are a technique used in computer science, especially functional programming, for abstract data type specification and automatic theorem-proving. Exercises are included throughout, and solutions to a selection of them are provided. «