1. CTRS 1987: Orsay, France

Stéphane Kaplan, Jean-Pierre Jouannaud (Eds.): Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings. Lecture Notes in Computer Science 308 Springer 1988, ISBN 3-540-19242-5 BibTeX

@proceedings{DBLP:conf/ctrs/1987,
  editor    = {St{\'e}phane Kaplan and
               Jean-Pierre Jouannaud},
  title     = {Conditional Term Rewriting Systems, 1st International Workshop,
               Orsay, France, July 8-10, 1987, Proceedings},
  booktitle = {CTRS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {308},
  year      = {1988},
  isbn      = {3-540-19242-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part 1: Research Articles

Jos C. M. Baeten, W. P. Weijland: Semantics for Prolog via Term Rewrite Systems. 3-14 BibTeX
Wadoud Bousdira, Jean-Luc Remy: Hierarchical Contextual Rewriting with Several Levels. 15-30 BibTeX
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Confluence of Conditional Rewrite Systems. 31-44 BibTeX
Nachum Dershowitz, G. Sivakumar: Solving Goals in Equational Languages. 45-55 BibTeX
Laurent Fribourg: On the Use of Conditional Rewrite Rules in Inductive Theorem Proving. 56-61 BibTeX
Harald Ganzinger: A Completion Procedure for Conditional Equations. 62-83 BibTeX
Alfons Geser, Heinrich Hußmann, Andreas Mück: A Compiler for a Class of Conditional Term Rewriting Systems. 84-90 BibTeX
Elio Giovannetti, Corrado Moiso: Notes on the Elimination of Conditions. 91-97 BibTeX
Irène Guessarian: Equational Axiomatizations of If-Then-Else. 98-110 BibTeX
Thierry Heuillard: Compiling Conditional Rewriting Systems. 111-128 BibTeX
Stéphane Kaplan: Positive/Negative Conditional Rewriting. 129-143 BibTeX
Emmanuel Kounalis, Michaël Rusinowitch: On Word Problems in Horn Theories. 144-160 BibTeX
Chilukuri K. Mohan, Mandayam K. Srivas: Conditional Specification with Inequational Assumptions. 161-178 BibTeX
Mitsuhiro Okada: A Logical Analysis on Theory of Conditional Rewriting. 179-196 BibTeX
Alex Pelin: Computing with Conditional Rewrite Rules. 197-211 BibTeX
David A. Plaisted: A Logic for Conditional Term Rewriting Systems. 212-227 BibTeX
Yoshihito Toyama: Confluent Term Rewriting Systems with Membership Conditions. 228-241 BibTeX

Part2: System Presentations

Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach: TRSPEC: A Term Rewriting Based System for Algebraic Specifications. 245-248 BibTeX
Hubert Bertling, Harald Ganzinger, Renate Schäfers: A Systems for the Completion of Conditional Equational Specifications. 249-250 BibTeX
Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin: ASSPEGIQUE: An Integrated Specification Environment. 251-252 BibTeX
Wadoud Bousdira, Jean-Luc Remy: REVEUR4: A Laboratory for Conditional Rewriting. 253-257 BibTeX
Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler: An Introduction to OBJ 3. 258-263 BibTeX
Heinrich Hußmann: The Passau RAP System: Rapid Prototyping for Algebraic Specifications. 264-265 BibTeX
Tony Rush, Derek Coleman: Architecture for Conditional Term Rewriting. 266-278 BibTeX