Term rewriting and all that
"This 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: universal algebra, unification theory, Grbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML."
Print Book, English, 2006
1st ed., digital print View all formats and editions
Cambridge University Press, Cambridge, 2006
XII, 301 p. ; 23 cm
9780521455206, 9780521779203, 0521455200, 0521779200
954143657