↓ Skip to main content

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
Attention for Chapter 74: A complete axiomatisation for the inclusion of series-parallel partial orders
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
12 Mendeley
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.
Chapter title
A complete axiomatisation for the inclusion of series-parallel partial orders
Chapter number 74
Book title
Rewriting Techniques and Applications
Published by
Springer, Berlin, Heidelberg, June 1997
DOI 10.1007/3-540-62950-5_74
Book ISBNs
978-3-54-062950-4, 978-3-54-069051-1
Authors

Denis Bechet, Philippe de Groote, Christian Retoré, Bechet, Denis, Groote, Philippe de, Retoré, Christian

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 12 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 12 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 4 33%
Lecturer 1 8%
Professor 1 8%
Student > Bachelor 1 8%
Student > Master 1 8%
Other 1 8%
Unknown 3 25%
Readers by discipline Count As %
Computer Science 7 58%
Mathematics 1 8%
Unknown 4 33%