Generalized predecessor existence problems for Boolean finite dynamical systems on directed graphs (Q1729688): Difference between revisions

@@ Property / cites work @@
+Elements of a theory of simulation. II: Sequential dynamical systems.
+Normal rank
@@ Property / cites work @@
+Q4331197
@@ Property / cites work: Q4331197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451017
@@ Property / cites work: Q4451017 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of reachability problems for finite discrete dynamical systems
+Normal rank
@@ Property / cites work @@
+Predecessor existence problems for finite discrete dynamical systems
+Normal rank
@@ Property / cites work @@
+Nondeterministic Space is Closed under Complementation
+Normal rank
@@ Property / cites work @@
+Dichotomy results for fixed-point existence problems for Boolean dynamical systems
+Normal rank
@@ Property / cites work @@
+Determining a singleton attractor of an AND/OR Boolean network in \(O(n^{1.587})\) time
+Normal rank
@@ Property / cites work @@
+Q3815544
@@ Property / cites work: Q3815544 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity Studies of Synchronous Boolean Finite Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for singleton attractor detection in planar and nonplanar AND/OR Boolean networks
+Normal rank