Contents of the Proceedings of the
4th (and last) International Workshop on Conditional Term Rewriting
Systems.
Jerusalem, Israel, July 13-15, 1994.
Lecture Notes in Computer Science, Vol. 968, Springer Verlag.
Editor: Nachum Dershowitz.
- L. Bachmair and H. Ganzinger,
Associative-Commutative Superposition
(pages 1-14).
- D. A. Basin and T. Walsh,
A Calculus for Rippling
(pages 15-30).
- P. Balbiani,
Equation Solving in Geometrical Theories
(pages 31-50).
- A. Bockmayr and A. Werner,
LSE Narrowing for Decreasing Conditional Term Rewrite Systems
(pages 51-70).
- R. Bündgen,
Preserving Confluence for Rewrite Systems with Built-in
Operations
(pages 71-88).
- N. Dershowitz,
Hierarchical Termination
(pages 89-105).
- M. C. F. Ferreira and H. Zantema,
Well-foundedness of Term Orderings
(pages 106-123).
- J.-M. Gélis,
A New Characterisation of AC-Termination and Application
(pages 124-143).
- J. Glauert and Z. Khasidashvili,
Relative Normalization in Orthogonal Expression Reduction
Systems
(pages 144-165).
- B. Gramlich,
On Termination and Confluence of Conditional Rewrite Systems
(pages 166-185).
- C. Hintermeier,
How to Transform Canonical Decreasing HCTRs into Equivalent
Canonical TRSs
(pages 186-205).
- C. Hoot,
Termination for Restricted Derivations and Conditional Rewrite
Systems
(pages 206-222).
- P. Inverardi,
Rewriting for Preorder Relations
(pages 223-234).
- J.-P. Jouannaud and W. Sadfi,
Strong Sequentiality of Left-Linear Overlapping Rewrite Systems
(pages 235-246).
- R. Kennaway,
A Conflict Between Call-by-Need Computation and Parallelism
(pages 247-262).
- G. Kucherov and M. Rusinowitch,
The Complexity of Testing Ground Reducibility for linear Word
Rewriting Systems with Variables
(pages 263-275).
- A. Mori and Y. Matsumoto,
Coherence for Cartesian Closed Categories: A Sequential
Approach
(pages 276-295).
- E. Ohlebusch,
Modular Properties of Constructor-Sharing Conditional Term Rewriting
Systems
(pages 296-315).
- Y. Toyama and M. Oyamaguchi,
Church-Rosser Property and Unique Normal Form Property of
Non-Duplicating Term Rewriting Systems
(pages 316-331).
- J. C. Verheul and P. G. Kluit,
The Transformation of Term Rewriting Systems Based on
Well-formedness Preserving Mappings
(pages 332-352).
- C.-P. Wirth and K. Becker,
Abstract Notions and Inference Systems for proofs by Mathematical
Induction
(pages 353-373).