Conditional and typed rewriting systems proceedings

International Workshop on Conditional Term Rewriting Systems (4. 1994 Jerusalem, Il) Nachum Dershowitz; Naomi Lindenstrauss

Berlin Springner 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.968 e.1 ) e outros locais(Acessar)