Confluence for graph transformations (Q672753): Difference between revisions

@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformations of structures: An algebraic approach
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q3336736
@@ Property / cites work: Q3336736 / rank @@
+Normal rank
@@ Property / cites work @@
+On ``On graph rewritings''
@@ Property / cites work: On ``On graph rewritings'' / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694716
@@ Property / cites work: Q4694716 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+On graph rewritings
@@ Property / cites work: On graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving graphs from graphs by applying a production
+Normal rank