Rewriting techniques and applications:11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Rewriting Techniques and Applications 2000 Norwich, England) (Norwich, England))
Group Author: Bachmair Leo.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c2000.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1833
Subjects:
Carrier Form: x, 273 p.: ill. ; 24 cm.
ISBN: 354067778X (acid-free paper)
Index Number: TP314
CLC: TP314-532
TP311.1-532
Call Number: TP314-532/R454/2000
Contents: Includes bibliographical references and index.