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
Copyright © Sat May 16 23:04:24 2009
by Michael Ley (ley@uni-trier.de)