Research Catalog
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
- Title
- Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / Robert Nieuwenhuis (ed.).
- Author
- International Conference on Rewriting Techniques and Applications (14th : 2003 : Valencia, Spain)
- Publication
- Berlin ; New York : Springer, c2003.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | JSE 03-1450 | Offsite |
Details
- Additional Authors
- Nieuwenhuis, Robert.
- Description
- xi, 514 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2706
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 03-1450
- ISBN
- 3540402543 (pbk. : acid-free paper)
- LCCN
- 2003052969
- OCLC
- 52268865
- Conference
- International Conference on Rewriting Techniques and Applications (14th : 2003 : Valencia, Spain)
- Title
- Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / Robert Nieuwenhuis (ed.).
- Imprint
- Berlin ; New York : Springer, c2003.
- Series
- Lecture notes in computer science, 0302-9743 ; 2706
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Nieuwenhuis, Robert.
- Research Call Number
- JSE 03-1450