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

Saved in:
Bibliographic Details
Imprint:Berlin ; New York : Springer, 1998.
Description:x, 342 p. ; 24 cm.
Language:English
Series:Lecture notes in computer science 1379
Subject:
Format: E-Resource Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/3082828
Hidden Bibliographic Details
Varying Form of Title:RTA-98
Other authors / contributors:Nipkow, Tobias, 1958-
International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan)
ISBN:354064301X (alk. paper)
Notes:"Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref.
Includes bibliographical references and index.
Also available on the Internet.