3. CTRS 1992: Pont-à-Mousson, France

@proceedings{DBLP:conf/ctrs/1992,
  editor    = {Micha{\"e}l Rusinowitch and
               Jean-Luc Remy},
  title     = {Conditional Term Rewriting Systems, Third International Workshop,
               CTRS-92, Pont-{\`a}-Mousson, France, July 8-10, 1992, Proceedings},
  booktitle = {CTRS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {656},
  year      = {1993},
  isbn      = {3-540-56393-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Typed Systems and Graph Rewriting

• Karl Meinke: Algebraic Semantics of Rewriting Terms and Types. 1-20
• Stefan Kahrs: Context Rewriting. 21-35
• Kristoffer Høgsbro Rose: Explicit Cyclic Substitutions. 36-50

Modularity and Termination

• Richard Banach: Simple Type Inference for Term Graph Rewriting Systems. 51-66
• Valentin M. Antimirov, Anatoli Degtyarev: Consistency and Semantics of Equational Definitions over Predefined Algebras. 67-81
• Aart Middeldorp: Completeness of Combinations of Conditional Constructor Systems. 82-96
• Detlef Plump: Collapsed Tree Rewriting: Completeness, Confluence, and Modularity. 97-112
• Enno Ohlebusch: Combinations of Simplifying Conditional Term Rewriting Systems. 113-127
• Bernhard Gramlich: Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems. 128-142
• Carlos Loría-Sáenz, Joachim Steinbach: Termination of Combined (Rewrite and lambda-Calculus) Systems. 143-147
• Hans Zantema: Type Removal in Term Rewriting. 148-154
• Hans Zantema: Termination of Term Rewriting by Interpretation. 155-167
• Nachum Dershowitz, Subrata Mitra: Path Orderings for Termination of Associative-Commutative Rewriting. 168-174

Proof Techniques and Extensions of Conditional Rewriting

• Peter Padawitz: Generic Induction Proofs. 175-197
• Claus-Peter Wirth, Bernhard Gramlich: A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications. 198-212
• Klaus Becker: Semantics for Positive/Negative Conditional Rewrite Systems. 213-225
• Harald Ganzinger, Jürgen Stuber: Inductive Theorem Proving by Consistency for First-Order Clauses. 226-241
• François Bronsard, Uday S. Reddy: Reduction Techniques for First-Order Reasoning. 242-256

Theorem-Proving and Normal Form Languages

• David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee: Conditional Term Rewriting and First-Order Theorem Proving. 257-271
• Gregory Kucherov, Mohamed Tajine: Decidability of Regularity and Related Properties of Ground Normal Form Languages. 272-286
• Dieter Hofbauer, Maria Huber: Computing Linearizations Using Test Sets. 287-301

Applications of Conditional Rewriting and New Formalisms

• Hantao Zhang: Proving Group Isomorphism Theorems (Extended Abstract). 302-306
• Nachum Dershowitz: Semigroups Satisfying x^m+n = xⁿ. 307-314
• Sergei G. Vorobyov: Could Orders Be Captured By Term Rewriting Systems? 315-327
• Karel Stokkermans: A Categorical Formulation for Critical-Pair/Completion Procedures. 328-342
• Yabo Wang, David Lorge Parnas: Trace Rewriting Systems. 343-356
• Ulrich Fraus: A Calculus for Conditional Inductive Theorem Proving. 357-362

Contextual Rewriting and Constrained Rewriting

• Hantao Zhang: Implementing Contextual Rewriting. 363-377
• Junnosuke Yamada: Confluence of Terminating Membership Conditional TRS. 378-392
• Lars With: Completeness and Confluence of Order-Sorted Term Rewriting. 393-407
• Charles Hoot: Completion for Constrained Term Rewriting Systems. 408-423
• Akihiko Takano: Generalized Partial Computation using Disunification to Solve Constraints. 424-428

Aplications to Logic Programming, Normalization Strategies and Unification

• Leszek Pacholski: Decidability of finiteness properties (Abstract). 429
• Harald Ganzinger, Uwe Waldmann: Termination Proofs of Well-Moded Logic Programs via Conditional Rewrite Systems. 430-437
• Staffan Bonnier, Jonas Wallgren: Logic Programs with Polymorphic Types: A condition for static type checking. 438-447
• Sergio Antoy: Normalization by Leftmost Innermost Rewriting. 448-457
• Paola Inverardi, Monica Nesi: A Strategy to Deal with Divergent Rewrite Systems. 458-467
• Bertrand Delsart: A New Approach to General E-Unification Based on Conditional Rewriting Systems. 468-482
• Alexander Bockmayr, Stefan Krischer, Andreas Werner: An Optimal Narrowing Strategy for General Canonical Systems. 483-497
• Wenchang Fang, Jung-Hong Kao: Set-Of-Support Strategy for Higher-Order Logic. 498-501