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

Graph Transformation

Overview of attention for book
Cover of 'Graph Transformation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Conditional Bigraphs
  3. Altmetric Badge
    Chapter 2 Confluence up to Garbage
  4. Altmetric Badge
    Chapter 3 Computing Embeddings of Directed Bigraphs
  5. Altmetric Badge
    Chapter 4 A Categorical Semantics for Guarded Petri Nets
  6. Altmetric Badge
    Chapter 4 A Categorical Semantics for Guarded Petri Nets
  7. Altmetric Badge
    Chapter 5 Unfolding Symbolic Attributed Graph Grammars
  8. Altmetric Badge
    Chapter 6 Single Pushout Rewriting in Comprehensive Systems
  9. Altmetric Badge
    Chapter 7 Initial Conflicts for Transformation Rules with Nested Application Conditions
  10. Altmetric Badge
    Chapter 8 Patch Graph Rewriting
  11. Altmetric Badge
    Chapter 9 Hypergraph Basic Categorial Grammars
  12. Altmetric Badge
    Chapter 10 Multilevel Typed Graph Transformations
  13. Altmetric Badge
    Chapter 11 Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
  14. Altmetric Badge
    Chapter 12 Algebras for Tree Decomposable Graphs
  15. Altmetric Badge
    Chapter 13 Graph Parsing as Graph Transformation
  16. Altmetric Badge
    Chapter 14 Graph Consistency as a Graduated Property
  17. Altmetric Badge
    Chapter 15 Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
  18. Altmetric Badge
    Chapter 16 Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
  19. Altmetric Badge
    Chapter 17 A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
  20. Altmetric Badge
    Chapter 18 Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids
  21. Altmetric Badge
    Chapter 19 The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
  22. Altmetric Badge
    Chapter 20 A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies
Attention for Chapter 7: Initial Conflicts for Transformation Rules with Nested Application Conditions
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
3 Mendeley
Summary 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.
Chapter title
Initial Conflicts for Transformation Rules with Nested Application Conditions
Chapter number 7
Book title
Graph Transformation
Published by
Springer, Cham, June 2020
DOI 10.1007/978-3-030-51372-6_7
Book ISBNs
978-3-03-051371-9, 978-3-03-051372-6
Authors

Leen Lambers, Fernando Orejas, Lambers, Leen, Orejas, Fernando

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Librarian 1 33%
Unknown 2 67%
Readers by discipline Count As %
Nursing and Health Professions 1 33%
Unknown 2 67%

This page is provided by Altmetric.