International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)

International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)

1 books in the database

Books

Conditional and typed rewriting systemsInternational Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)

Conditional and typed rewriting systems

International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem) · 1995