Cover Image

Conditional term rewriting systems /

Show other versions (1)
Bibliographic Details
Corporate Author: International Workshop CTRS 1992 : Pont-à-Mousson, France
Other Authors: Rusinowitch, M. (Michael), Remy, J. L.
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1993.
Series:Lecture notes in computer science ; 656.
Subjects:
Rewriting systems (Computer science) > Congresses.
Description
Physical Description:xi, 501 pages : illustrations ; 24 cm.
ISBN:3540563938 (Berlin : alk. paper)
0387563938 (New York : alk. paper)