Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings / Robert Nieuwenhuis (ed.).

Author/creator International Conference on Rewriting Techniques and Applications
Other author Nieuwenhuis, Robert.
Format Book
Publication InfoBerlin ; New York : Springer, ©2003.
Descriptionxi, 514 pages : illustrations ; 24 cm.
Subjects

SeriesLecture notes in computer science ; 2706
Lecture notes in computer science 2706. ^A466336
Bibliography noteIncludes bibliographical references and index.
LCCN 2003052969
ISBN3540402543 (pbk. : acid-free paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA267 .I555 2003 ✔ Available Place Hold