Contents of the Proceedings of the
1st International Workshop on Conditional Term Rewriting Systems.
Orsay, France, July 8-10, 1987.
Lecture Notes in Computer Science, Vol. 308, Springer Verlag.

Editors: Stéphane Kaplan and Jean-Pierre Jouannaud.

• J. C. M. Baeten and W. P. Weijland, Semantics for Prolog via Tern Rewrite Systems (pages 3-14).
• W. Bousdira and J.-L. Rémy, Hierarchical Contextual Rewriting with Several Levels (pages 15-30).
• N. Dershowitz, M. Okada and G. Sivakumar, Confluence of Conditional Rewrite Systems (pages 31-44).
• N. Dershowitz and G. Sivakumar, Solving Goals in Equational Languages (pages 45-55).
• L. Fribourg, On the Use of Conditional Rewrite Rules in Inductive Theorem Proving (pages 56-61).
• H. Ganzinger, A Completion Procedure for Conditional Equations (pages 62-83).
• A. Geser, H. Hussmann and A. Mueck, A Compiler for a Class of Conditional Term Rewriting Systems (pages 84-90).
• E. Giovannetti and C. Moiso, Notes on the Elimination of Conditions (pages 91-97).
• I. Guessarian, Equational Axiomatizations of If-Then-Else (pages 98-110).
• T. Heuillard, Compiling Conditional Rewriting Systems (pages 111-128).
• S. Kaplan, Positive / Negative Conditional Rewriting (pages 129-143).
• E. Kounalis and M. Rusinowitch, On Word Problems in Horn Theories (pages 144-160).
• C. Mohan and M. K. Srivas, Conditional Specifications with Inequational Assumptions (pages 161-178).
• M. Okada, A Logical Analysis on Theory of Conditional Rewriting (pages 179-196).
• A. Pelin, Computing with Conditional Rewrite Rules (pages 197-211).
• D. A. Plaisted, A Logic for Conditional Term Rewriting Systems (pages 212-227).
• Y. Toyama, Confluent Term Rewriting Systems with Membership Conditions (pages 228-244).
• J. Avenhaus, R. Göbel, B. Gramlich, K. Madlener and J. Steinbach, TRSPEC: A Term Rewriting Based System for Algebraic Specifications (pages 245-248).
• H. Bertling, H. Ganzinger and R. Schäfers, CEC : A System for the Completion of Conditional Equational Specifications (pages 249-250).
• M. Bidoit, F. Capy, C. Choppy, S. Kaplan, F. Schlienger and F. Voisin, ASSPEGIQUE : An Integrated Specification Environment (pages 251-252).
• W. Bousdira and J.-L. Rémy, REVEUR4 : A Laboratory for Conditional Rewriting (pages 253-257).
• J. Goguen, C. Kirchner, H. Kirchner, A. Mégrelis, J. Meseguer and T. Winkler, An Introduction to OBJ 3 (pages 258-263).
• H. Hussmann, The Passau RAP System: Rapid Prototyping for Algebraic Specifications (pages 264-265).
• T. Rush and D. Coleman, Architecture for Conditional Term Rewriting (pages 266-278).