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