Term rewriting systems /

Saved in:
Bibliographic Details
Imprint:Cambridge, UK ; New York : Cambridge University Press, 2003.
Description:xxii, 884 p. : ill. ; 24 cm.
Language:English
Series:Cambridge tracts in theoretical computer science ; 55
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/4866048
Hidden Bibliographic Details
Other authors / contributors:Bezem, M. (Marc), 1956-
Klop, J. W.
Vrijer, Roel de
ISBN:0521391156
Notes:Includes bibliographical references (p. 826-857) and indexes.

Similar Items