Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Author Kaplan, Stephane.
Title Conditional and typed rewriting systems : 2nd International CTRS Workshop Montreal, Canada, June 11-14, 1990 : proceedings / edited by S. Kaplan and m. Mitsukiro.
Publication Info Berlin : Springer-Verlag, 1991.


LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 264 C7  8 WEEK LOAN  AVAILABLE

Descript 461p.
ISBN 3540543171
Click on the terms below to find similar items in the catalogue
Author Kaplan, Stephane.
Series Lecture notes in computer science; 516
Alt author Okada, Mitsukiro.
International Workshop on Conditional and Typed Rewriting Systems (2nd: 1990: Montreal, Canada)
Descript 461p.
ISBN 3540543171
Author Kaplan, Stephane.
Series Lecture notes in computer science; 516
Alt author Okada, Mitsukiro.
International Workshop on Conditional and Typed Rewriting Systems (2nd: 1990: Montreal, Canada)
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 264 C7  8 WEEK LOAN  AVAILABLE

Descript 461p.
Alt author Okada, Mitsukiro.
International Workshop on Conditional and Typed Rewriting Systems (2nd: 1990: Montreal, Canada)
ISBN 3540543171

Links and services for this item: