Cover Image

Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /

Show other versions (1)
Bibliographic Details
Other Authors: Kaplan, S. (Stéphane), 1961-, Jouannaud, Jean-Pierre
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1988]
Series:Lecture notes in computer science ; 308.
Subjects:
Rewriting systems (Computer science) > Congresses.
Description
Physical Description:vi, 278 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographies.
ISBN:0387192425 (U.S.)