Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.).

SeriesLecture notes in computer science, 0302-9743 ; 1833
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 00056309
ISBN354067778X (acid-free paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available