A Rewriting Calculus for Multigraphs with Ports (Q5415656): Difference between revisions

@@ Property / cites work @@
+Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
+Normal rank
@@ Property / cites work @@
+A Rewriting Calculus for Multigraphs with Ports
@@ Property / cites work: A Rewriting Calculus for Multigraphs with Ports / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863876
@@ Property / cites work: Q2863876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3043791
@@ Property / cites work: Q3043791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844065
@@ Property / cites work: Q2844065 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q2740996
@@ Property / cites work: Q2740996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791828
@@ Property / cites work: Q4791828 / rank @@
+Normal rank