Home›Books›Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on AutomataLanguages, and Programming (21st : 1994 : Jerusalem) International Colloquium on AutomataNo biography available.Works (1)Conditional and typed rewriting systems1995