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

Corporate Authors: International CTRS Workshop (2nd 1990 Montreal, Quebec)
Group Author: Kaplan S.; (Stephane), 1961-; Okada M.; (Mitsuhiro), 1954-
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP301-53/I61.7/1990/