Abstract is missing.
- Term-Rewriting Implementation of Equational Logic ProgrammingMichael J. O Donnell. 1-12
- Optimizing Equational ProgramsRobert Strandh. 13-24
- A Compiler for Conditional Term Rewriting SystemsStéphane Kaplan. 25-41
- How to Choose Weights in the Knuth Bendix OrderingUrsula Martin. 42-53
- Detecting Looping SimplificationsPaul Walton Purdom Jr.. 54-61
- Combinatorial Hypermap RewritingEric Sopena. 62-73
- Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting SystemsCraig C. Squier, Friedrich Otto. 74-82
- Term Rewriting Systems with PrioritiesJos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. 83-94
- A Gap Between Linear and Non Linear Term-Rewriting Systems (1)Max Dauchet, Francesco De Comité. 95-104
- Code Generator Generation Based on Template-Driven Target Term RewritingAnnie Despland, Monique Mazaud, Raymond Rakotozafy. 105-120
- Descendants of Regular Language in a Class of Rewriting Systems: Algorithm and Complexity of an Automata ConstructionM. Benois. 121-132
- Groups Presented by Certain Classes of Finite Length-Reducing String-Rewriting SystemsKlaus Madlener, Friedrich Otto. 133-144
- Some Results about Confluence on a Given Congruence ClassFriedrich Otto. 145-155
- Ground ConfluenceRichard Göbel. 156-167
- Structured Contextual RewritingZhenyu Qian. 168-179
- Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion ProcessesHélène Kirchner. 180-191
- Completion for Rewriting Modulo a CongruenceLeo Bachmair, Nachum Dershowitz. 192-203
- On Equational Theories, Unification and DecidabilityHans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß. 204-215
- A General Complete ::::E::::-Unification ProcedureJean H. Gallier, Wayne Snyder. 216-227
- Improving Basic Narrowing TechniquesPierre Réty. 228-241
- Strategy-Controlled Reduction and NarrowingPeter Padawitz. 242-255
- Algorithmic Complexity of Term Rewriting SystemsChristine Choppy, Stéphane Kaplan, Michèle Soria. 256-273
- Optimal Speedups for Parallel Pattern Matching in TreesR. Ramesh, I. V. Ramakrishnan. 274-285