Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds.
| Other author/creator | Kaplan, S. (Stéphane), 1961- |
| Other author/creator | Jouannaud, Jean-Pierre. |
| Format | Book and Print |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1988. |
| Description | vi, 278 pages : illustrations ; 24 cm. |
| Subject(s) |
Click here for more information about this title
| Series | Lecture notes in computer science ; 308 Lecture notes in computer science 308. ^A466336 |
| Bibliography note | Includes bibliographies. |
| LCCN | 88017626 |
| ISBN | 0387192425 (U.S.) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA267 .C5933 1988 | ✔ Available | Place Hold |