↓ Skip to main content

Processes, Terms and Cycles: Steps on the Road to Infinity

Overview of attention for book
Cover of 'Processes, Terms and Cycles: Steps on the Road to Infinity'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Spectra of Words
  3. Altmetric Badge
    Chapter 2 On the Undecidability of Coherent Logic
  4. Altmetric Badge
    Chapter 3 Löb’s Logic Meets the μ -Calculus
  5. Altmetric Badge
    Chapter 4 A Characterisation of Weak Bisimulation Congruence
  6. Altmetric Badge
    Chapter 5 Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms
  7. Altmetric Badge
    Chapter 6 Explaining Constraint Programming
  8. Altmetric Badge
    Chapter 7 Sharing in the Weak Lambda-Calculus
  9. Altmetric Badge
    Chapter 8 Term Rewriting Meets Aspect-Oriented Programming
  10. Altmetric Badge
    Chapter 9 Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
  11. Altmetric Badge
    Chapter 10 Primitive Rewriting
  12. Altmetric Badge
    Chapter 11 Infinitary Rewriting: From Syntax to Semantics
  13. Altmetric Badge
    Chapter 12 Reducing Right-Hand Sides for Termination
  14. Altmetric Badge
    Chapter 13 Reduction Strategies for Left-Linear Term Rewriting Systems
  15. Altmetric Badge
    Chapter 14 Higher-Order Rewriting: Framework, Confluence and Termination
  16. Altmetric Badge
    Chapter 15 Timing the Untimed: Terminating Successfully While Being Conservative
  17. Altmetric Badge
    Chapter 16 Confluence of Graph Transformation Revisited
  18. Altmetric Badge
    Chapter 17 Compositional Reasoning for Probabilistic Finite-State Behaviors
  19. Altmetric Badge
    Chapter 18 Finite Equational Bases in Process Algebra: Results and Open Questions
  20. Altmetric Badge
    Chapter 19 Skew and ω -Skew Confluence and Abstract Böhm Semantics
  21. Altmetric Badge
    Chapter 20 A Mobility Calculus with Local and Dependent Types
  22. Altmetric Badge
    Chapter 21 Model Theory for Process Algebra
  23. Altmetric Badge
    Chapter 22 Expression Reduction Systems and Extensions: An Overview
  24. Altmetric Badge
    Chapter 23 Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem
Attention for Chapter 16: Confluence of Graph Transformation Revisited
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
8 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
Confluence of Graph Transformation Revisited
Chapter number 16
Book title
Processes, Terms and Cycles: Steps on the Road to Infinity
Published by
Springer, Berlin, Heidelberg, January 2005
DOI 10.1007/11601548_16
Book ISBNs
978-3-54-030911-6, 978-3-54-032425-6
Authors

Detlef Plump, Plump, Detlef

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 13%
Germany 1 13%
Unknown 6 75%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 88%
Lecturer 1 13%
Other 1 13%
Student > Doctoral Student 1 13%
Readers by discipline Count As %
Computer Science 8 100%
Engineering 1 13%