Preface

Nachum Dershowitz, Naomi Lindenstrauss

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)VI
JournalLecture Notes in Computer Science
Volume968
DOIs
StatePublished - 1995
Externally publishedYes
Event4th International Workshop on Conditional and Typed Rewriting Systems, CTRS 1994 - Jerusalem, Israel
Duration: 13 Jul 199415 Jul 1994

Cite this