CURRENTLY SOLD OUT

Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: 4th International Workshop, CTRS 94, Jerusalem, Israel, July 13-15, 1994. Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1995)