Research Catalog

Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Title
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings / Tobias Nipkow (ed.).
Publication
Berlin ; New York : Springer, 1998.

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 .I555 1998Off-site

Holdings

Details

Additional Authors
  • Nipkow, Tobias, 1958-
  • International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan)
Description
x, 342 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 1379
Uniform Title
Lecture notes in computer science ; 1379.
Subjects
Note
  • "Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref.
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
354064301X (alk. paper)
LCCN
98006357
OCLC
  • 38580117
  • ocm38580117
Owning Institutions
Columbia University Libraries