The SCEAS System
Navigation Menu

Conferences in DBLP

Conditional and Typed Rewriting Systems (CTRS) (ctrs)
1994 (conf/ctrs/1994)

  1. Leo Bachmair, Harald Ganzinger
    Associative-Commutative Superposition. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:1-14 [Conf]
  2. David A. Basin, Toby Walsh
    A Calculus for Rippling. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:15-30 [Conf]
  3. Philippe Balbiani
    Equation Solving in Geometrical Theories. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:31-50 [Conf]
  4. Alexander Bockmayr, Andreas Werner
    LSE Narrowing for Decreasing Conditional Term Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:51-70 [Conf]
  5. Reinhard Bündgen
    Preserving Confluence for Rewrite Systems with Built-in Operations. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:71-88 [Conf]
  6. Nachum Dershowitz
    Hierachical Termination. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:89-105 [Conf]
  7. Maria C. F. Ferreira, Hans Zantema
    Well-foundedness of Term Orderings. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:106-123 [Conf]
  8. Jean-Michel Gélis
    A New Characterisation of AC-Termination and Application. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:124-143 [Conf]
  9. John R. W. Glauert, Zurab Khasidashvili
    Relative Normalization in Orthogonal Expression Reduction Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:144-165 [Conf]
  10. Bernhard Gramlich
    On Termination and Confluence of Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:166-185 [Conf]
  11. Claus Hintermeier
    How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:186-205 [Conf]
  12. Charles Hoot
    Termination for Restricted Derivations and Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:206-222 [Conf]
  13. Paola Inverardi
    Rewriting for Preorder Relations. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:223-234 [Conf]
  14. Jean-Pierre Jouannaud, Walid Sadfi
    Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:235-246 [Conf]
  15. Richard Kennaway
    A Conflict Between Call-by-Need Computation and Parallelism. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:247-261 [Conf]
  16. 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]
  17. Akira Mori, Yoshihiro Matsumoto
    Coherence for Cartesian Closed Categories: A Sequential Approach. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:276-295 [Conf]
  18. Enno Ohlebusch
    Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:296-315 [Conf]
  19. 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]
  20. 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]
  21. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002