Research Catalog
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
- Title
- Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Sophie Tison (ed.).
- Author
- International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark)
- Publication
- Berlin ; New York : Springer, c2002.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 02-1836 | Offsite |
Details
- Additional Authors
- Tison, Sophie.
- Description
- xi, 385 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2378 Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 2378.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- Call Number
- JSE 02-1836
- ISBN
- 3540439161 (pbk. : acid-free paper)
- LCCN
- 2002075871
- OCLC
- 50041194
- Conference
- International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark)
- Title
- Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Sophie Tison (ed.).
- Imprint
- Berlin ; New York : Springer, c2002.
- Series
- Lecture notes in computer science, 0302-9743 ; 2378 Lecture notes in artificial intelligenceLecture notes in computer science ; 2378.Lecture notes in computer science. Lecture notes in artificial intelligence.
- Bibliography
- Includes bibliographical references and index.
- Additional Formats
- Also available via the World Wide Web.
- Added Author
- Tison, Sophie.
- Research Call Number
- JSE 02-1836