Complexity of reachability problems for finite discrete dynamical systems (Q856411): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2006.03.006
@@ Property / DOI: 10.1016/j.jcss.2006.03.006 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2006.03.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2092522621
@@ Property / OpenAlex ID: W2092522621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3802629
@@ Property / cites work: Q3802629 / rank @@
+Normal rank
@@ Property / cites work @@
+On some relations between dynamical systems and transition systems
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Simulating quadratic dynamical systems is PSPACE-complete (preliminary version)
+Normal rank
@@ Property / cites work @@
+On the computational power of dynamical systems and hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4331197
@@ Property / cites work: Q4331197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785459
@@ Property / cites work: Q4785459 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability problems for sequential dynamical systems with threshold functions.
+Normal rank
@@ Property / cites work @@
+Elements of a theory of simulation. III: Equivalence of SDS.
+Normal rank
@@ Property / cites work @@
+Q4291429
@@ Property / cites work: Q4291429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4031421
@@ Property / cites work: Q4031421 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of a theory of computer simulation. I
@@ Property / cites work: Elements of a theory of computer simulation. I / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+On totalistic systolic networks
@@ Property / cites work: On totalistic systolic networks / rank @@
+Normal rank
@@ Property / cites work @@
+On the Limit Sets of Cellular Automata
@@ Property / cites work: On the Limit Sets of Cellular Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805907
@@ Property / cites work: Q3805907 / rank @@
+Normal rank
@@ Property / cites work @@
+Inversion of 2D cellular automata: Some complexity results
+Normal rank
@@ Property / cites work @@
+Transient length in sequential iteration of threshold functions
+Normal rank
@@ Property / cites work @@
+Q4854587
@@ Property / cites work: Q4854587 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving liveness for networks of communicating finite state machines
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational power of totalistic cellular automata
+Normal rank
@@ Property / cites work @@
+Q3793734
@@ Property / cites work: Q3793734 / rank @@
+Normal rank
@@ Property / cites work @@
+Cellular automata and the sciences of complexity. A review of some outstanding problems in the theory of cellular automata.
+Normal rank
@@ Property / cites work @@
+Evolutionary games and computer simulations.
@@ Property / cites work: Evolutionary games and computer simulations. / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of verifying concurrent transition systems
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768370
@@ Property / cites work: Q2768370 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability with low-dimensional dynamical systems
+Normal rank
@@ Property / cites work @@
+Q5606985
@@ Property / cites work: Q5606985 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence relations on finite dynamical systems
@@ Property / cites work: Equivalence relations on finite dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition and simulation of sequential dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Unpredictability and undecidability in dynamical systems
+Normal rank
@@ Property / cites work @@
+Generalized shifts: unpredictability and undecidability in dynamical systems
+Normal rank
@@ Property / cites work @@
+Discrete, sequential dynamical systems
@@ Property / cites work: Discrete, sequential dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938645
@@ Property / cites work: Q4938645 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous automata versus asynchronous cellular automata
+Normal rank
@@ Property / cites work @@
+On acyclic orientations and sequential dynamical systems
+Normal rank
@@ Property / cites work @@
+One-way cellular automata on Cayley graphs
@@ Property / cites work: One-way cellular automata on Cayley graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata-models for the investigation of dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4818858
@@ Property / cites work: Q4818858 / rank @@
+Normal rank
@@ Property / cites work @@
+General-Purpose Computation with Neural Networks: A Survey of Complexity Theoretic Results
+Normal rank
@@ Property / cites work @@
+On the computational power of neural nets
@@ Property / cites work: On the computational power of neural nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3980261
@@ Property / cites work: Q3980261 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity of finite cellular automata
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2006.03.006
@@ Property / DOI: 10.1016/J.JCSS.2006.03.006 / rank @@
+Normal rank