Home›Books›International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)No biography available.Works (1)Conditional and typed rewriting systems1995