Abstract is missing.
- On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract)Yuri Matiyasevich. 1
- Modularity of Completeness RevisitedMassimo Marchiori. 2-10
- Automatic Termination Proofs With Transformation OrderingsJoachim Steinbach. 11-25
- A Termination Ordering for Higher Order Rewrite SystemOlav Lysne, Javier Piris. 26-40
- A Complete Characterization of Termination of O:::p::: 1:::q::: -> 1:::r::: O:::s:::Hans Zantema, Alfons Geser. 41-55
- On Narrowing, Refutation Proofs and ConstraintsRobert Nieuwenhuis. 56-70
- Completion for Multiple Reduction OrderingsMasahito Kurihara, Hisashi Kondo, Azuma Ohuchi. 71-85
- Towards an Efficient Construction of Test Sets for Deciding Ground ReducabilityKlaus Schmid, Roland Fettig. 86-100
- Term Rewriting in Contemporary Resolution Theorem Proving (Abstract)Mark E. Stickel. 101
- ::::delta::::o!::::Epsilon:::: = 1 - Optimizing Optimal ::::lambda::::-Calculus ImplementationsAndrea Asperti. 102-116
- Substitution Tree IndexingPeter Graf. 117-131
- Concurrent Garbage Collection for Concurrent RewritingIlies Alouini. 132-146
- Lazy Rewriting and Eager MachineryJ. F. Th. Kamperman, H. R. Walters. 147-162
- A Rewrite Mechanism for Logic Programs with NegationSiva Anantharaman, Gilles Richard. 163-178
- Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand SidesTaro Suzuki, Aart Middeldorp, Tetsuo Ida. 179-193
- A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue SystemsGéraud Sénizergues. 194-209
- Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational ComonadWolfgang Gehrke. 210-224
- Relating Two Categorial Models of Term RewritingAndrea Corradini, Fabio Gadducci, Ugo Montanari. 225-240
- Towards a Domain Theory for Termination ProofsStefan Kahrs. 241-255
- Higher-Order Rewrite Systems (Abstract)Tobias Nipkow. 256
- Infinitary Lambda Calculi and Böhm ModelsRichard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries. 257-270
- Proving the Genericity Lemma by Leftmost Reduction is SimpleJan Kuper. 271-278
- (Head-) Normalization of Typeable Rewrite SystemsSteffen van Bakel, Maribel Fernández. 279-293
- Explicit Substitutions with de Bruijn s LevelsPierre Lescanne, Jocelyne Rouyer-Degli. 294-308
- A Restricted Form on Higher-Order Rewriting Applied to an HDL SemanticsRichard J. Boulton. 309-323
- Rewrite Systems for Integer ArithmeticH. R. Walters, Hans Zantema. 324-338
- General Solution of Systems of Linear Diophantine Equations and InequationsHabib Abdulrab, Marianne Maksimenko. 339-351
- Combination of Constraint Solving Techniques: An Algebraic POint of ViewFranz Baader, Klaus U. Schulz. 352-366
- Some Independent Results for Equational UnificationFriedrich Otto, Paliath Narendran, Daniel J. Dougherty. 367-381
- Regular Substitution Sets: A Means of Controlling E-UnificationJochen Burghardt. 382-396
- DISCOUNT: A SYstem for Distributed Equational DeductionJürgen Avenhaus, Jörg Denzinger, Matthias Fuchs. 397-402
- ASTRE: Towards a Fully Automated Program Transformation SystemFrançoise Bellegarde. 403-407
- Parallel ReDuX -> PaReDuXReinhard Bündgen, Manfred Göbel, Wolfgang Küchlin. 408-413
- STORM: A MAny-to-One Associative-Commutative MatcherTa Chen, Siva Anantharaman. 414-419
- LEMMA: A System for Automated Synthesis of Recursive Programs in Equational TheoriesJacques Chazarain, Serge Muller. 420-425
- Generating Polynomial Orderings for Termination ProofsJürgen Giesl. 426-431
- Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2M. Randall Holmes. 432-437
- Prototyping Completion with Constraints Using Computational SystemsHélène Kirchner, Pierre-Etienne Moreau. 438-443
- Guiding Term Reduction Through a Neural Network: Some Prelimanary Results for the Group TheoryAlberto Paccanaro. 444-449
- Studying Quasigroup Identities by Rewriting Techniques: Problems and First ResultsMark E. Stickel, Hantao Zhang. 450-456
- Problems in Rewriting IIINachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop. 457-471