Rewriting (Q2751361)

This is an up-to-date survey of term rewriting theory and its applications written by two leading experts of the field. It is divided into ten sections: 1. Introduction, 2. Terminology, 3. Normal Forms and Validity, 4. Termination Properties, 5. Church-Rosser Properties, 6. Completion, 7. Relativized Rewriting, 8. Equational Theorem Proving, 9. Conditional Rewriting, and 10. Programming. Moreover, the paper contains an extensive Bibliography and an Index. In addition to the general basic material, several more specialized or advanced topics are discussed, and many more are mentioned together with helpful references. Of course, there are not very many proofs, but the underlying ideas are carefully explained, and many examples illustrate all the main notions and methods considered. Although a few excellent overviews of the area already exist, this well-written paper will certainly become one of the standard references.NEWLINENEWLINEFor the entire collection see [Zbl 0964.00020].