
Conditional and Typed Rewriting Systems
Stephane Kaplan, Mitsuhiro Okada
₹5,679

1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
by Stephane Kaplan, Jean-Pierre Jouannaud
Free delivery. Nothing extra to pay at checkout.
The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the purpose of the workshop to put the results together, to present new, original contributions to the domain, and to discuss still unsolved issues.
Description supplied by the publisher.