Term Rewriting and All That

This English language textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduc... » 

This English language textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects. «