International CTRS Workshop (2nd 1990 Montréal, Québec)

International CTRS Workshop (2nd 1990 Montréal, Québec)

1 books in the database

Books

Conditional and typed rewriting systemsInternational CTRS Workshop (2nd 1990 Montréal, Québec)

Conditional and typed rewriting systems

International CTRS Workshop (2nd 1990 Montréal, Québec) · 1991