Special issue: RTA-98 : [selected papers from the 9th International Conference on Rewriting Techniques and Applications (RTA-98), which was held from March 30 to April 1, 1998, at the University of Tsukuba, Japan]
guest ed.: Tobias Nipkow ... [Johannes Waldmann ...]
| Alternative title: | RTA-98 |
|---|---|
| Year of publication: |
2000
|
| Other Persons: | Nipkow, Tobias (contributor) ; Waldmann, Johannes (contributor) |
| Institutions: | RTA <9, 1998, Tsukuba> |
| Published in: |
Information and computation. - Amsterdam : Elsevier, ISSN 0890-5401, ZDB-ID 283864-3. - Vol. 159
|
| Publisher: |
San Diego [u.a.] : Acad. Press |
| Subject: | Reduktionssystem | Kongress | Tsukuba <1998> |
| Extent: | 188 S. : graph. Darst. |
|---|---|
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Konferenzschrift |
| Language: | English |
| Classification: | Theoretische Informatik |
| Source: |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004902097