Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
Saved in:
| Meeting name: | International Conference on Rewriting Techniques and Applications (6th : 1995 : Kaiserslautern, Germany) |
|---|---|
| Imprint: | Berlin ; New York : Springer-Verlag, c1995. |
| Description: | xii, 471 p. : ill. ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science 914 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/1740900 |
