↓ Skip to main content
What is this page? Embed badge

Rewriting Techniques and Applications

Overview of attention for book
Cover of 'Rewriting Techniques and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 57 Well-behaved search and the Robbins problem
  3. Altmetric Badge
    Chapter 58 Goal-Directed Completion using SOUR Graphs
  4. Altmetric Badge
    Chapter 59 Shostak's congruence closure as completion
  5. Altmetric Badge
    Chapter 60 Conditional equational specifications of data types with partial operations for inductive theorem proving
  6. Altmetric Badge
    Chapter 61 Cross-sections for finitely presented monoids with decidable word problems
  7. Altmetric Badge
    Chapter 62 New undecidability results for finitely presented monoids
  8. Altmetric Badge
    Chapter 63 On the property of preserving regularity for string-rewriting systems
  9. Altmetric Badge
    Chapter 64 Rewrite systems for natural, integral, and rational arithmetic
  10. Altmetric Badge
    Chapter 65 D-bases for polynomial ideals over commutative noetherian rings
  11. Altmetric Badge
    Chapter 66 Rewriting Techniques and Applications
  12. Altmetric Badge
    Chapter 67 A total, ground path ordering for proving termination of AC-rewrite systems
  13. Altmetric Badge
    Chapter 68 Proving innermost normalisation automatically
  14. Altmetric Badge
    Chapter 69 Termination of context-sensitive rewriting
  15. Altmetric Badge
    Chapter 70 A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
  16. Altmetric Badge
    Chapter 71 Innocuous constructor-sharing combinations
  17. Altmetric Badge
    Chapter 72 Scott's conjecture is true, position sensitive weights
  18. Altmetric Badge
    Chapter 73 Two-dimensional rewriting
  19. Altmetric Badge
    Chapter 74 A complete axiomatisation for the inclusion of series-parallel partial orders
  20. Altmetric Badge
    Chapter 75 Undecidability of the first order theory of one-step right ground rewriting
  21. Altmetric Badge
    Chapter 76 The first-order theory of one step rewriting in linear noetherian systems is undecidable
  22. Altmetric Badge
    Chapter 77 Solving linear Diophantine equations using the geometric structure of the solution space
  23. Altmetric Badge
    Chapter 78 A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms
  24. Altmetric Badge
    Chapter 79 Effective reduction and conversion strategies for combinators
  25. Altmetric Badge
    Chapter 80 Finite family developments
  26. Altmetric Badge
    Chapter 81 Prototyping combination of unification algorithms with the ELAN rule-based programming language
  27. Altmetric Badge
    Chapter 82 The invariant package of MAS
  28. Altmetric Badge
    Chapter 83 Opal: A system for computing noncommutative gröbner bases
  29. Altmetric Badge
    Chapter 84 TRAM: An abstract machine for order-sorted conditional term rewriting systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
7 Dimensions
Summary Wikipedia Dimensions citations
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
Rewriting Techniques and Applications
Published by
Springer Berlin Heidelberg, April 2006
DOI 10.1007/3-540-62950-5
ISBNs
978-3-54-062950-4, 978-3-54-069051-1
Editors

Comon, Hubert

View on publisher site

This page is provided by Altmetric.