Conditional and typed rewriting systems

de International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem), Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Naomi Lindenstrauss, Nachum Dershowitz · Publicada por primera vez en 1995