Research Catalog
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
- Title
- Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.).
- Publication
- Berlin ; New York : Springer, c2000.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 00-1638 | Offsite |
Details
- Additional Authors
- Description
- x, 273 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 1833
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 00-1638
- ISBN
- 354067778X (softcover : alk. paper)
- LCCN
- 00056309
- OCLC
- 44469040
- Title
- Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.).
- Imprint
- Berlin ; New York : Springer, c2000.
- Series
- Lecture notes in computer science, 0302-9743 ; 1833
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Bachmair, Leo.International Conference on Rewriting Techniques and Applications (11th : 2000 : Norwich, England)
- Research Call Number
- JSE 00-1638