Abstract is missing.
- Semantics for Prolog via Term Rewrite SystemsJos C. M. Baeten, W. P. Weijland. 3-14
- Hierarchical Contextual Rewriting with Several LevelsWadoud Bousdira, Jean-Luc Remy. 15-30
- Confluence of Conditional Rewrite SystemsNachum Dershowitz, Mitsuhiro Okada, G. Sivakumar. 31-44
- Solving Goals in Equational LanguagesNachum Dershowitz, G. Sivakumar. 45-55
- On the Use of Conditional Rewrite Rules in Inductive Theorem ProvingLaurent Fribourg. 56-61
- A Completion Procedure for Conditional EquationsHarald Ganzinger. 62-83
- A Compiler for a Class of Conditional Term Rewriting SystemsAlfons Geser, Heinrich Hußmann, Andreas Mück. 84-90
- Notes on the Elimination of ConditionsElio Giovannetti, Corrado Moiso. 91-97
- Equational Axiomatizations of If-Then-ElseIrène Guessarian. 98-110
- Compiling Conditional Rewriting SystemsThierry Heuillard. 111-128
- Positive/Negative Conditional RewritingStéphane Kaplan. 129-143
- On Word Problems in Horn TheoriesEmmanuel Kounalis, Michaël Rusinowitch. 144-160
- Conditional Specification with Inequational AssumptionsChilukuri K. Mohan, Mandayam K. Srivas. 161-178
- A Logical Analysis on Theory of Conditional RewritingMitsuhiro Okada. 179-196
- Computing with Conditional Rewrite RulesAlex Pelin. 197-211
- A Logic for Conditional Term Rewriting SystemsDavid A. Plaisted. 212-227
- Confluent Term Rewriting Systems with Membership ConditionsYoshihito Toyama. 228-241
- TRSPEC: A Term Rewriting Based System for Algebraic SpecificationsJürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach. 245-248
- A Systems for the Completion of Conditional Equational SpecificationsHubert Bertling, Harald Ganzinger, Renate Schäfers. 249-250
- ASSPEGIQUE: An Integrated Specification EnvironmentMichel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin. 251-252
- REVEUR4: A Laboratory for Conditional RewritingWadoud Bousdira, Jean-Luc Remy. 253-257
- An Introduction to OBJ 3Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler. 258-263
- The Passau RAP System: Rapid Prototyping for Algebraic SpecificationsHeinrich Hußmann. 264-265
- Architecture for Conditional Term RewritingTony Rush, Derek Coleman. 266-278