Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud.

Other author Jouannaud, Jean-Pierre.
Other author International Conference on Rewriting Techniques and Applications 1985 : Dijon, France)
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1985.
Descriptionvi, 440 pages : illustrations ; 25 cm.
Subjects

SeriesLecture notes in computer science ; 202
Lecture notes in computer science 202. ^A466336
General notePapers presented at the First International Conference on Rewriting Techniques and Applications, held in Dijon, Burgundy, France, May 20-22, 1985.
Bibliography noteIncludes bibliographies.
LCCN 85022164
ISBN0387159762 (pbk. : U.S.)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.6 .R464 1985 ✔ Available Place Hold