Term rewriting systems /
Saved in:
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 |
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
-
Conditional term rewriting systems /
Published: (1993) -
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /
Published: (1988) -
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /
Published: (1991) -
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings /
Published: (2005) -
Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /
Published: (2007)