Term rewriting systems /

Bibliographic Details

Other Authors:	Bezem, M. (Marc), 1956-, Klop, J. W., Vrijer, Roel de
Format:	Book
Language:	English
Published:	Cambridge, UK ; New York : Cambridge University Press, 2003.
Series:	Cambridge tracts in theoretical computer science ; 55.
Subjects:	Rewriting systems (Computer science)