Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Semantics for Prolog via term rewrite systems.- 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.- TRSPEC: A term rewriting based system for algebraic specifications.- CEC: A system for the completion of conditional equational specifications.- Asspegique.- REVEUR4: A laboratory for conditional rewriting.- An introduction to OBJ 3.- The Passau RAP system: Rapid prototyping for algebraic specifications.- Architecture for conditional term rewriting.