Conditional and Typed Rewriting Systems 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss.
This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume reports the research advances in the area o...
Full description
Saved in: