Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings /
Saved in:
Imprint: | Berlin ; New York : Springer, 1998. |
---|---|
Description: | x, 342 p. ; 24 cm. |
Language: | English |
Series: | Lecture notes in computer science 1379 |
Subject: | |
Format: | E-Resource Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/3082828 |
Varying Form of Title: | RTA-98 |
---|---|
Other authors / contributors: | Nipkow, Tobias, 1958- International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan) |
ISBN: | 354064301X (alk. paper) |
Notes: | "Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref. Includes bibliographical references and index. Also available on the Internet. |
Similar Items
-
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) -
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings /
Published: (2003) -
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
Published: (2002) -
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings /
Published: (2000)