4. CTRS 1994: Jerusalem, Israel

Nachum Dershowitz, Naomi Lindenstrauss (Eds.): Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings. Lecture Notes in Computer Science 968 Springer 1995, ISBN 3-540-60381-6 BibTeX

@proceedings{DBLP:conf/ctrs/1994,
  editor    = {Nachum Dershowitz and
               Naomi Lindenstrauss},
  title     = {Conditional and Typed Rewriting Systems, 4th International Workshop,
               CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings},
  booktitle = {CTRS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {968},
  year      = {1995},
  isbn      = {3-540-60381-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Leo Bachmair, Harald Ganzinger: Associative-Commutative Superposition. 1-14 BibTeX
David A. Basin, Toby Walsh: A Calculus for Rippling. 15-30 BibTeX
Philippe Balbiani: Equation Solving in Geometrical Theories. 31-50 BibTeX
Alexander Bockmayr, Andreas Werner: LSE Narrowing for Decreasing Conditional Term Rewrite Systems. 51-70 BibTeX
Reinhard Bündgen: Preserving Confluence for Rewrite Systems with Built-in Operations. 71-88 BibTeX
Nachum Dershowitz: Hierachical Termination. 89-105 BibTeX
Maria C. F. Ferreira, Hans Zantema: Well-foundedness of Term Orderings. 106-123 BibTeX
Jean-Michel Gélis: A New Characterisation of AC-Termination and Application. 124-143 BibTeX
John R. W. Glauert, Zurab Khasidashvili: Relative Normalization in Orthogonal Expression Reduction Systems. 144-165 BibTeX
Bernhard Gramlich: On Termination and Confluence of Conditional Rewrite Systems. 166-185 BibTeX
Claus Hintermeier: How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. 186-205 BibTeX
Charles Hoot: Termination for Restricted Derivations and Conditional Rewrite Systems. 206-222 BibTeX
Paola Inverardi: Rewriting for Preorder Relations. 223-234 BibTeX
Jean-Pierre Jouannaud, Walid Sadfi: Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. 235-246 BibTeX
Richard Kennaway: A Conflict Between Call-by-Need Computation and Parallelism. 247-261 BibTeX
Gregory Kucherov, Michaël Rusinowitch: The Complexitiy of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables. 262-275 BibTeX
Akira Mori, Yoshihiro Matsumoto: Coherence for Cartesian Closed Categories: A Sequential Approach. 276-295 BibTeX
Enno Ohlebusch: Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems. 296-315 BibTeX
Yoshihito Toyama, Michio Oyamaguchi: Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems. 316-331 BibTeX
Jan C. Verheul, Peter G. Kluit: The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. 332-352 BibTeX
Claus-Peter Wirth, Klaus Becker: Abstract Notions and Inference Systems for Proofs by Mathematical Induction. 353-373 BibTeX