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, [1991], ©1991.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA267 .C5932 1991Off-site

Holdings

Details

Additional Authors
  • Kaplan, S. (Stéphane), 1961-
  • Okada, M. (Mitsuhiro), 1954-
Description
x, 461 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 516
Uniform Title
Lecture notes in computer science ; 516.
Subject
ISBN
  • 3540543171 (Berlin)
  • 0387543171 (New York)
LCCN
91025005
OCLC
  • 502475474
  • ocn502475474
Owning Institutions
Columbia University Libraries