Research Catalog
Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 1990 proceedings
- Title
- Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 1990 proceedings / S. Kaplan, M. Okada (eds.).
- Publication
- Berlin ; New York : Springer-Verlag, c1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 91-966 | Offsite |
Details
- Additional Authors
- Description
- x, 461 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 516
- Subject
- Call Number
- JSF 91-966
- ISBN
- 3540543171 (Berlin)
- 0387543171 (New York)
- LCCN
- 91025005
- OCLC
- 24144034
- NYPG91-B86781
- Title
- Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 1990 proceedings / S. Kaplan, M. Okada (eds.).
- Imprint
- Berlin ; New York : Springer-Verlag, c1991.
- Series
- Lecture notes in computer science ; 516
- Added Author
- Kaplan, S. (Stéphane), 1961-Okada, M. (Mitsuhiro), 1954-
- Research Call Number
- JSF 91-966