Research Catalog
Conditional term rewriting systems
- Title
- Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.).
- Author
- International Workshop CTRS (3rd : 1992 : Pont-à-Mousson, France)
- Publication
- Berlin ; New York : Springer-Verlag, 1993.
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 | QA267 .I578 1992 | Off-site |
Holdings
Details
- Additional Authors
- Description
- xi, 501 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 656
- Uniform Title
- Lecture notes in computer science ; 656.
- Subject
- Rewriting systems (Computer science) > Congresses
- ISBN
- 3540563938 (Berlin : alk. paper)
- 0387563938 (New York : alk. paper)
- LCCN
- 92044413
- OCLC
- 27106056
- ocm27106056
- Owning Institutions
- Columbia University Libraries