+612 9045 4394
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings - Stephane Kaplan

Conditional Term Rewriting Systems

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

By: Stephane Kaplan (Editor), Jean-Pierre Jouannaud (Editor)

Paperback Published: 22nd June 1988
ISBN: 9783540192428
Number Of Pages: 284

Share This Book:


or 4 easy payments of $31.26 with Learn more
Ships in 7 to 10 business days

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.

Hierarchical Contextual Rewriting with Several Levels
Confluence of Conditional Rewrite Systems
Solving Goals in Equational Languages
On the Use of Conditional Rewrite Rules in Inductive Theorem Proving
A Completion Procedure for Conditional Equations
A Compiler for a Class of Conditional Term Rewriting Systems
Notes on the Elimination of Conditions
Equational Axiomatizations of If-Then-Else
Compiling Conditional Rewriting Systems
Positive/Negative Conditional Rewriting
On Word Problems in Horn Theories
Conditional Specifications with Inequational Assumptions
A Logical Analysis on Theory of Conditional Rewriting
Computing with Conditional Rewrite Rules
A Logic for Conditional Term Rewriting Systems
Confluent Term Rewriting Systems with Membership Conditions
System Presentations: TRSPEC
An Introduction to OBJ 3
The Passau RAP System: Rapid Prototyping for Algebraic Specifications
Architecture for Conditional Term Rewriting
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540192428
ISBN-10: 3540192425
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 284
Published: 22nd June 1988
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.55
Weight (kg): 0.41