↓ Skip to main content

Conditional and Typed Rewriting Systems

Overview of attention for book
Cover of 'Conditional and Typed Rewriting Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Associative-commutative superposition
  3. Altmetric Badge
    Chapter 2 A calculus for rippling
  4. Altmetric Badge
    Chapter 3 Equation solving in geometrical theories
  5. Altmetric Badge
    Chapter 4 LSE narrowing for decreasing conditional term rewrite systems
  6. Altmetric Badge
    Chapter 5 Preserving confluence for rewrite systems with built-in operations
  7. Altmetric Badge
    Chapter 6 Hierarchical termination
  8. Altmetric Badge
    Chapter 7 Well-foundedness of term orderings
  9. Altmetric Badge
    Chapter 8 A new characterisation of AC-termination and application
  10. Altmetric Badge
    Chapter 9 Relative normalization in orthogonal expression reduction systems
  11. Altmetric Badge
    Chapter 10 On termination and confluence of conditional rewrite systems
  12. Altmetric Badge
    Chapter 11 How to transform canonical decreasing CTRSs into equivalent canonical TRSs
  13. Altmetric Badge
    Chapter 12 Termination for restricted derivations and conditional rewrite systems
  14. Altmetric Badge
    Chapter 13 Rewriting for preorder relations
  15. Altmetric Badge
    Chapter 14 Strong sequentiality of left-linear overlapping rewrite systems
  16. Altmetric Badge
    Chapter 15 A conflict between call-by-need computation and parallelism
  17. Altmetric Badge
    Chapter 16 The complexity of testing ground reducibility for linear word rewriting systems with variables
  18. Altmetric Badge
    Chapter 17 Coherence for cartesian closed categories: A sequential approach
  19. Altmetric Badge
    Chapter 18 Modular properties of constructor-sharing conditional term rewriting systems
  20. Altmetric Badge
    Chapter 19 Church-Rosser property and unique normal form property of non-duplicating term rewriting systems
  21. Altmetric Badge
    Chapter 20 The transformation of term rewriting systems based on well-formedness preserving mappings
  22. Altmetric Badge
    Chapter 21 Abstract notions and inference systems for proofs by mathematical induction
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
3 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Conditional and Typed Rewriting Systems
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-60381-6
ISBNs
978-3-54-060381-8, 978-3-54-045513-4
Editors

Dershowitz, Nachum, Lindenstrauss, Naomi

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.