Research Catalog
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
- Title
- Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.)
- Author
- RTA 2001. Conference (2001 : Utrecht, Netherlands)
- Publication
- Berlin : London : Springer, c2001.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 01-1450 | Offsite |
Details
- Additional Authors
- Middeldorp, Aart, 1963-
- Description
- xii, 361 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2051
- Alternative Title
- RTA 2001
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- Call Number
- JSE 01-1450
- ISBN
- 3540421173
- OCLC
- 47927792
- 47063587
- Conference
- RTA 2001. Conference (2001 : Utrecht, Netherlands)
- Title
- Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.)
- Imprint
- Berlin : London : Springer, c2001.
- Series
- Lecture notes in computer science, 0302-9743 ; 2051
- Bibliography
- Includes bibliographical references and index.
- Additional Formats
- Also available via the World Wide Web.
- Added Author
- Middeldorp, Aart, 1963-
- Research Call Number
- JSE 01-1450