Research Catalog
Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 ; proceedings
- Title
- Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 ; proceedings / Vincent van Oostrom (ed.).
- Author
- International Conference on Rewriting Techniques and Applications (15th : 2004 : Aachen, Germany)
- Publication
- Berlin : Springer, 2004.
Available Online
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 04-1330 | Offsite |
Details
- Additional Authors
- Oostrom, Vincent van, 1966-
- Description
- x, 311 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 3091
- Alternative Title
- RTA 2004
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also issued online.
- Call Number
- JSE 04-1330
- ISBN
- 3540221530 (pbk.)
- OCLC
- 55746391
- Conference
- International Conference on Rewriting Techniques and Applications (15th : 2004 : Aachen, Germany)
- Title
- Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 ; proceedings / Vincent van Oostrom (ed.).
- Imprint
- Berlin : Springer, 2004.
- Series
- Lecture notes in computer science, 0302-9743 ; 3091
- Bibliography
- Includes bibliographical references and index.
- Additional Formats
- Also issued online.
- Connect to:
- Added Author
- Oostrom, Vincent van, 1966-
- Research Call Number
- JSE 04-1330