Towards Local Confluence Analysis for Amalgamated Graph Transformation (Q2947211): Difference between revisions

@@ Property / author @@
-Gabriele Taentzer
@@ Property / author: Gabriele Taentzer / rank @@
-Normal rank
@@ Property / author @@
+Gabriele Taentzer
@@ Property / author: Gabriele Taentzer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fujaba
@@ Property / describes a project that uses: Fujaba / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-21145-9_5
+Normal rank
@@ Property / OpenAlex ID @@
+W2174997495
@@ Property / OpenAlex ID: W2174997495 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
+Normal rank
@@ Property / cites work @@
+COMPARTMENTAL MODELLING OF SOCIAL DYNAMICS WITH GENERALISED PEER INCIDENCE
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-amalgamation of rules with application conditions in -adhesive categories
+Normal rank
@@ Property / cites work @@
+Heroin epidemics, treatment and ODE modelling
@@ Property / cites work: Heroin epidemics, treatment and ODE modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Critical pairs in term graph rewriting
@@ Property / cites work: Critical pairs in term graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+On termination of graph rewriting
@@ Property / cites work: On termination of graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Local Confluence Analysis for Amalgamated Graph Transformation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2947211