Rewriting techniques and applications: 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings/
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Berlin New York:
Springer,
c1997
|
| Series: | Lecture notes in computer science
1232 |
| Subjects: |