Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /

Bibliographic Details
Corporate Author:	International CTRS Workshop Montréal, Québec
Other Authors:	Kaplan, S. (Stéphane), 1961-, Okada, M. (Mitsuhiro), 1954-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Lecture notes in computer science ; 516.
Subjects:	Rewriting systems (Computer science) > Congresses.

Remote Storage