Generalized predecessor existence problems for Boolean finite dynamical systems on directed graphs (Q1729688): 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.tcs.2018.08.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2891749150
@@ Property / OpenAlex ID: W2891749150 / rank @@
+Normal rank
@@ 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