Conditional and Typed Rewriting Systems

Name: Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
Brand: Springer
SKU: 9783540603818
Price: 5569.00 INR
Availability: InStock

4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

by Nachum Dershowitz, Naomi Lindenstrauss

Springer

₹5,569

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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 of rewriting in general achieved since the predecessor workshop held in July 1992.

Description supplied by the publisher.