Term rewriting systems
By: Terese ; [Marc Bezem, Jan Willem Klop, Roel de Vrijer, editors].
Contributors: Bezem, M. 1956-; Klop, J. W.; Vrijer, Roel de.; Terese (Group)
Series: Cambridge tracts in theoretical computer science -- v. 25.; Cambridge tracts in theoretical computer science -- 25.
Publisher: Cambridge University Press
Published: 2003
Place of publication: Cambridge, UK; New York
Language: eng
Number of pages: 884
Subjects: Rewriting systems (Computer science)
Notes: "Terese."

Includes bibliographical references (p. 826-857) and index.