Conditional and typed rewriting systems : 4th International workshop, CTRS-94 : Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz ... [etc.] (eds.)

• Record Nr.: UNISA990000210880203316
• Autore: International workshop CTRS-94 : 4. : 1994
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1995
• ISBN: 3-540-60381-6
• Descrizione fisica: VIII, 373 p. : ill. ; 24 cm.
• Collana: Lecture notes in computer science ; 968
• Disciplina: 6525
• Collocazione: 001 LNCS (968)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia