default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. CTRS 1994: Jerusalem, Israel
- Nachum Dershowitz, Naomi Lindenstrauss:
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 - Leo Bachmair, Harald Ganzinger:
Associative-Commutative Superposition. 1-14 - David A. Basin, Toby Walsh:
A Calculus for Rippling. 15-30 - Philippe Balbiani
:
Equation Solving in Geometrical Theories. 31-50 - Alexander Bockmayr, Andreas Werner:
LSE Narrowing for Decreasing Conditional Term Rewrite Systems. 51-70 - Reinhard Bündgen:
Preserving Confluence for Rewrite Systems with Built-in Operations. 71-88 - Nachum Dershowitz:
Hierachical Termination. 89-105 - Maria C. F. Ferreira, Hans Zantema:
Well-foundedness of Term Orderings. 106-123 - Jean-Michel Gélis:
A New Characterisation of AC-Termination and Application. 124-143 - John R. W. Glauert, Zurab Khasidashvili:
Relative Normalization in Orthogonal Expression Reduction Systems. 144-165 - Bernhard Gramlich:
On Termination and Confluence of Conditional Rewrite Systems. 166-185 - Claus Hintermeier:
How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. 186-205 - Charles Hoot:
Termination for Restricted Derivations and Conditional Rewrite Systems. 206-222 - Paola Inverardi:
Rewriting for Preorder Relations. 223-234 - Jean-Pierre Jouannaud, Walid Sadfi:
Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. 235-246 - Richard Kennaway:
A Conflict Between Call-by-Need Computation and Parallelism. 247-261 - Gregory Kucherov, Michaël Rusinowitch:
The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables. 262-275 - Akira Mori, Yoshihiro Matsumoto:
Coherence for Cartesian Closed Categories: A Sequential Approach. 276-295 - Enno Ohlebusch:
Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems. 296-315 - Yoshihito Toyama, Michio Oyamaguchi:
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems. 316-331 - Jan C. Verheul, Peter G. Kluit:
The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. 332-352 - Claus-Peter Wirth, Klaus Becker:
Abstract Notions and Inference Systems for Proofs by Mathematical Induction. 353-373
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-28 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
