Free shipping on orders over $99
Conditional Term Rewriting Systems

Conditional Term Rewriting Systems

1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

by Stephane Kaplan and Jean-Pierre Jouannaud
Paperback
Publication Date: 22/06/1988

Share This Book:

  $84.99
or 4 easy payments of $21.25 with
afterpay
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. These contributions are reported in the proceedings. The main questions that have been addressed are the different semantics for conditional rewriting and their classification, possible extensions to the basic formalism, and the relationship between conditional rewriting and logic programming. Also, more practical issues such as applications and implementations of conditional term rewriting systems have been addressed. Descriptions of seven actual systems allowing conditional rewriting are included.
ISBN:
9783540192428
9783540192428
Category:
Mathematical theory of computation
Format:
Paperback
Publication Date:
22-06-1988
Language:
English
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Country of origin:
Germany
Pages:
284
Dimensions (mm):
235x155x15mm
Weight:
0.91kg

This title is in stock with our Australian supplier and should arrive at our Sydney warehouse within 1 - 2 weeks of you placing an order.

Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.

Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:

ACT Metro: 2 working days
NSW Metro: 2 working days
NSW Rural: 2-3 working days
NSW Remote: 2-5 working days
NT Metro: 3-6 working days
NT Remote: 4-10 working days
QLD Metro: 2-4 working days
QLD Rural: 2-5 working days
QLD Remote: 2-7 working days
SA Metro: 2-5 working days
SA Rural: 3-6 working days
SA Remote: 3-7 working days
TAS Metro: 3-6 working days
TAS Rural: 3-6 working days
VIC Metro: 2-3 working days
VIC Rural: 2-4 working days
VIC Remote: 2-5 working days
WA Metro: 3-6 working days
WA Rural: 4-8 working days
WA Remote: 4-12 working days

Reviews

Be the first to review Conditional Term Rewriting Systems.