Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13 15, 1994 : proceedings
This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume reports the research advances in the area o...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
968 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Conditional and typed rewriting systems, 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994, proceedings, Nachum Dershowitz, Naomi Lindenstrauss (eds.), Berlin, Springer, 1995, 1 vol. (VIII-373 p.), Lecture notes in computer science, 3-540-60381-6 • Conditional and Typed Rewriting Systems, Texte imprimé, 9783662163610 |
Table des matières:
- Associative-commutative superposition
- A calculus for rippling
- Equation solving in geometrical theories
- LSE narrowing for decreasing conditional term rewrite systems
- Preserving confluence for rewrite systems with built-in operations
- Hierarchical termination
- Well-foundedness of term orderings
- A new characterisation of AC-termination and application
- Relative normalization in orthogonal expression reduction systems
- On termination and confluence of conditional rewrite systems
- How to transform canonical decreasing CTRSs into equivalent canonical TRSs
- Termination for restricted derivations and conditional rewrite systems
- Rewriting for preorder relations
- Strong sequentiality of left-linear overlapping rewrite systems
- A conflict between call-by-need computation and parallelism
- The complexity of testing ground reducibility for linear word rewriting systems with variables
- Coherence for cartesian closed categories: A sequential approach
- Modular properties of constructor-sharing conditional term rewriting systems
- Church-Rosser property and unique normal form property of non-duplicating term rewriting systems
- The transformation of term rewriting systems based on well-formedness preserving mappings
- Abstract notions and inference systems for proofs by mathematical induction.