Proving the absence of unbounded polymers in rule-based models (Q2229134): Difference between revisions

@@ 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.1016/j.entcs.2020.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W3080862861
@@ Property / OpenAlex ID: W3080862861 / rank @@
+Normal rank
@@ Property / cites work @@
+Rule-Based Modelling of Cellular Signalling
@@ Property / cites work: Rule-Based Modelling of Cellular Signalling / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation of Cellular Signalling Networks
+Normal rank
@@ Property / cites work @@
+Constraining rule-based dynamics with types
@@ Property / cites work: Constraining rule-based dynamics with types / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis via orthogonal sets of patterns
+Normal rank
@@ Property / cites work @@
+Q4411954
@@ Property / cites work: Q4411954 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank