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

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

1 ספרים במאגר

ספרים

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