Term rewriting and all that
By: Franz Baader and Tobias Nipkow.
Contributors: Nipkow, Tobias, 1958-
Publisher: Cambridge University Press
Published: 1998
Place of publication: Cambridge; New York
Language: eng
Number of pages: 301
Subjects: Rewriting systems (Computer science)
Notes: Includes bibliographical references (p. 284-296) and index.