search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

CTRS

Keyphrases

Publications

volume 968, 1995

Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings CTRS 968 (1995)

1994

Maria C. F. Ferreira, Hans Zantema
Well-foundedness of Term Orderings. CTRS (1994)
Philippe Balbiani
Equation Solving in Geometrical Theories. CTRS (1994)
Bernhard Gramlich
On Termination and Confluence of Conditional Rewrite Systems. CTRS (1994)
Leo Bachmair, Harald Ganzinger
Associative-Commutative Superposition. CTRS (1994)
Gregory Kucherov, Michaël Rusinowitch
The Complexitiy of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables. CTRS (1994)
Nachum Dershowitz
Hierachical Termination. CTRS (1994)
Reinhard Bündgen
Preserving Confluence for Rewrite Systems with Built-in Operations. CTRS (1994)
Enno Ohlebusch
Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems. CTRS (1994)
Yoshihito Toyama, Michio Oyamaguchi
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems. CTRS (1994)
John R. W. Glauert, Zurab Khasidashvili
Relative Normalization in Orthogonal Expression Reduction Systems. CTRS (1994)
Jan C. Verheul, Peter G. Kluit
The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. CTRS (1994)
Akira Mori, Yoshihiro Matsumoto
Coherence for Cartesian Closed Categories: A Sequential Approach. CTRS (1994)
Paola Inverardi
Rewriting for Preorder Relations. CTRS (1994)
Claus-Peter Wirth, Klaus Becker
Abstract Notions and Inference Systems for Proofs by Mathematical Induction. CTRS (1994)
Jean-Pierre Jouannaud, Walid Sadfi
Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. CTRS (1994)
David A. Basin, Toby Walsh
A Calculus for Rippling. CTRS (1994)
Claus Hintermeier
How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. CTRS (1994)
Richard Kennaway
A Conflict Between Call-by-Need Computation and Parallelism. CTRS (1994)
Charles Hoot
Termination for Restricted Derivations and Conditional Rewrite Systems. CTRS (1994)
Jean-Michel Gélis
A New Characterisation of AC-Termination and Application. CTRS (1994)
Alexander Bockmayr, Andreas Werner
LSE Narrowing for Decreasing Conditional Term Rewrite Systems. CTRS (1994)

volume 656, 1993

Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings CTRS 656 (1993)

1992