On undecidability bounds for matrix decision problems (Q2474220): Difference between revisions

@@ Property / cites work @@
+Q4484488
@@ Property / cites work: Q4484488 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875224
@@ Property / cites work: Q4875224 / rank @@
+Normal rank
@@ Property / cites work @@
+When is a pair of matrices mortal?
@@ Property / cites work: When is a pair of matrices mortal? / rank @@
+Normal rank
@@ Property / cites work @@
+The mortality problem for matrices of low dimensions
+Normal rank
@@ Property / cites work @@
+ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Examples of undecidable problems for 2-generator matrix semigroups
+Normal rank
@@ Property / cites work @@
+Q4320641
@@ Property / cites work: Q4320641 / rank @@
+Normal rank
@@ Property / cites work @@
+REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
+Normal rank
@@ Property / cites work @@
+Mortality in Matrix Semigroups
@@ Property / cites work: Mortality in Matrix Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Improved matrix pair undecidability results
@@ Property / cites work: Improved matrix pair undecidability results / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
+Normal rank
@@ Property / cites work @@
+Unconventional Computation
@@ Property / cites work: Unconventional Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Computation in One-Dimensional Piecewise Maps
@@ Property / cites work: Computation in One-Dimensional Piecewise Maps / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for semi-Thue systems with a few rules
+Normal rank
@@ Property / cites work @@
+Unsolvability in 3 × 3 Matrices
@@ Property / cites work: Unsolvability in 3 × 3 Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank