Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. CTRS 1987: Orsay, France
- Stéphane Kaplan, Jean-Pierre Jouannaud:
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
Part 1: Research Articles
- Jos C. M. Baeten, W. P. Weijland:
Semantics for Prolog via Term Rewrite Systems. 3-14 - Wadoud Bousdira, Jean-Luc Rémy:
Hierarchical Contextual Rewriting with Several Levels. 15-30 - Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar:
Confluence of Conditional Rewrite Systems. 31-44 - Nachum Dershowitz, G. Sivakumar:
Solving Goals in Equational Languages. 45-55 - Laurent Fribourg:
On the Use of Conditional Rewrite Rules in Inductive Theorem Proving. 56-61 - Harald Ganzinger:
A Completion Procedure for Conditional Equations. 62-83 - Alfons Geser, Heinrich Hußmann, Andreas Mück:
A Compiler for a Class of Conditional Term Rewriting Systems. 84-90 - Elio Giovannetti, Corrado Moiso:
Notes on the Elimination of Conditions. 91-97 - Irène Guessarian:
Equational Axiomatizations of If-Then-Else. 98-110 - Thierry Heuillard:
Compiling Conditional Rewriting Systems. 111-128 - Stéphane Kaplan:
Positive/Negative Conditional Rewriting. 129-143 - Emmanuel Kounalis, Michaël Rusinowitch:
On Word Problems in Horn Theories. 144-160 - Chilukuri K. Mohan, Mandayam K. Srivas:
Conditional Specification with Inequational Assumptions. 161-178 - Mitsuhiro Okada:
A Logical Analysis on Theory of Conditional Rewriting. 179-196 - Alex Pelin:
Computing with Conditional Rewrite Rules. 197-211 - David A. Plaisted:
A Logic for Conditional Term Rewriting Systems. 212-227 - Yoshihito Toyama:
Confluent Term Rewriting Systems with Membership Conditions. 228-241
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 - Hubert Bertling, Harald Ganzinger, Renate Schäfers:
A Systems for the Completion of Conditional Equational Specifications. 249-250 - Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin:
ASSPEGIQUE: An Integrated Specification Environment. 251-252 - Wadoud Bousdira, Jean-Luc Rémy:
REVEUR4: A Laboratory for Conditional Rewriting. 253-257 - Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler:
An Introduction to OBJ 3. 258-263 - Heinrich Hußmann:
The Passau RAP System: Rapid Prototyping for Algebraic Specifications. 264-265 - Tony Rush, Derek Coleman:
Architecture for Conditional Term Rewriting. 266-278
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 04:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
