Abstract is missing.
- Associative-Commutative SuperpositionLeo Bachmair, Harald Ganzinger. 1-14
- A Calculus for RipplingDavid A. Basin, Toby Walsh. 15-30
- Equation Solving in Geometrical TheoriesPhilippe Balbiani. 31-50
- LSE Narrowing for Decreasing Conditional Term Rewrite SystemsAlexander Bockmayr, Andreas Werner. 51-70
- Preserving Confluence for Rewrite Systems with Built-in OperationsReinhard Bündgen. 71-88
- Hierachical TerminationNachum Dershowitz. 89-105
- Well-foundedness of Term OrderingsMaria C. F. Ferreira, Hans Zantema. 106-123
- A New Characterisation of AC-Termination and ApplicationJean-Michel Gélis. 124-143
- Relative Normalization in Orthogonal Expression Reduction SystemsJohn R. W. Glauert, Zurab Khasidashvili. 144-165
- On Termination and Confluence of Conditional Rewrite SystemsBernhard Gramlich. 166-185
- How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSsClaus Hintermeier. 186-205
- Termination for Restricted Derivations and Conditional Rewrite SystemsCharles Hoot. 206-222
- Rewriting for Preorder RelationsPaola Inverardi. 223-234
- Strong Sequentiality of Left-Linear Overlapping Rewrite SystemsJean-Pierre Jouannaud, Walid Sadfi. 235-246
- A Conflict Between Call-by-Need Computation and ParallelismRichard Kennaway. 247-261
- The Complexitiy of Testing Ground Reducibility for Linear Word Rewriting Systems with VariablesGregory Kucherov, Michaël Rusinowitch. 262-275
- Coherence for Cartesian Closed Categories: A Sequential ApproachAkira Mori, Yoshihiro Matsumoto. 276-295
- Modular Properties of Constructor-Sharing Conditional Term Rewriting SystemsEnno Ohlebusch. 296-315
- Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting SystemsYoshihito Toyama, Michio Oyamaguchi. 316-331
- The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving MappingsJan C. Verheul, Peter G. Kluit. 332-352
- Abstract Notions and Inference Systems for Proofs by Mathematical InductionClaus-Peter Wirth, Klaus Becker. 353-373