Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
Saved in:
Meeting name: | International Conference on Rewriting Techniques and Applications (3rd : 1989 : Chapel Hill, N.C.) |
---|---|
Imprint: | Berlin ; New York : Springer-Verlag, c1989. |
Description: | vii, 578 p. : ill. ; 25 cm. |
Language: | English |
Series: | Lecture notes in computer science 355 |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/972714 |
Other authors / contributors: | Dershowitz, Nachum |
---|---|
ISBN: | 0387510818 (U.S.) |
Notes: | Includes bilbiographies and index. |
Similar Items
-
Rewriting techniques and applications : 4th international conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings /
Published: (1991) -
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings /
Published: (1993) -
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 1996 : proceedings /
Published: (1996) -
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
Published: (1995) -
Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999, proceedings /
Published: (1999)