Research Catalog
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 1989 : proceedings
- Title
- Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 1989 : proceedings / N. Dershowitz, ed.
- Author
- International Conference on Rewriting Techniques and Applications (3rd : 1989 : Chapel Hill, N.C.)
- Publication
- Berlin ; New York : Springer-Verlag, c1989.
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 | JSF 89-306 | Offsite |
Holdings
Details
- Additional Authors
- Dershowitz, Nachum.
- Description
- vii, 578 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 355
- Subject
- Bibliography (note)
- Includes bibliographies and index.
- Call Number
- JSF 89-306
- ISBN
- 0387510818 (U.S.)
- LCCN
- 89006130
- OCLC
- 19458401
- 19458401
- Conference
- International Conference on Rewriting Techniques and Applications (3rd : 1989 : Chapel Hill, N.C.)
- Title
- Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 1989 : proceedings / N. Dershowitz, ed.
- Imprint
- Berlin ; New York : Springer-Verlag, c1989.
- Series
- Lecture notes in computer science ; 355
- Bibliography
- Includes bibliographies and index.
- Added Author
- Dershowitz, Nachum.
- Research Call Number
- JSF 89-306