1 option
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.).
LIBRA QA267 .C5932 1991
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- International CTRS Workshop (2nd : 1990 : Montréal, Québec)
- Series:
- Lecture notes in computer science ; 516.
- Lecture notes in computer science
- Language:
- English
- Subjects (All):
- Rewriting systems (Computer science)--Congresses.
- Rewriting systems (Computer science).
- Genre:
- Conference papers and proceedings.
- Physical Description:
- x, 461 pages : illustrations ; 25 cm.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, [1991]
- ISBN:
- 3540543171
- 0387543171
- OCLC:
- 24144034
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.