Term rewriting and all that /

Bibliographic Details

Main Author:	Baader, Franz
Other Authors:	Nipkow, Tobias, 1958-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1998.
Subjects:	Rewriting systems (Computer science)