Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396): Difference between revisions

@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Conflict Detection for Graph Transformation with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Q4890712
@@ Property / cites work: Q4890712 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank