Conditional and typed rewriting systems 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.).

Author/creator International CTRS Workshop
Other author Kaplan, S. (Stéphane), 1961-
Other author Okada, M. (Mitsuhiro), 1954-
Format Electronic
Publication InfoBerlin ; New York : Springer-Verlag,
Descriptionx, 461 p. : ill. ; 25 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Subjects

SeriesLecture notes in computer science ; 516
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 91025005
ISBN3540543171 (Berlin)
ISBN0387543171 (New York)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available