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

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: