On the decidability of semigroup freeness (Q2905326): Difference between revisions

@@ Property / arXiv ID @@
+.3112
@@ Property / arXiv ID: 0808.3112 / rank @@
+Normal rank
@@ Property / cites work @@
+Pell's Equation and Two Generator Free Möbius Groups
+Normal rank
@@ Property / cites work @@
+Reachability problems in quaternion matrix and rotation semigroups
+Normal rank
@@ Property / cites work @@
+Q5616207
@@ Property / cites work: Q5616207 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems for probabilistic automata of fixed dimension
+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 boundedness of all products of a pair of matrices is undecidable
+Normal rank
@@ Property / cites work @@
+The mortality problem for matrices of low dimensions
+Normal rank
@@ Property / cites work @@
+Free semigroups of \(2\times 2\) matrices
@@ Property / cites work: Free semigroups of \(2\times 2\) matrices / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Some decision problems on integer matrices
@@ Property / cites work: Some decision problems on integer matrices / rank @@
+Normal rank
@@ Property / cites work @@
+The (generalized) Post correspondence problem with lists consisting of two words is decidable
+Normal rank
@@ Property / cites work @@
+On the problem of freeness of multiplicative matrix semigroups
+Normal rank
@@ Property / cites work @@
+Q3341886
@@ Property / cites work: Q3341886 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946213
@@ Property / cites work: Q4946213 / rank @@
+Normal rank
@@ Property / cites work @@
+Beardon's Diophantine Equations and Non-Free Möbius Groups
+Normal rank
@@ Property / cites work @@
+Mortality in Matrix Semigroups
@@ Property / cites work: Mortality in Matrix Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Binary (generalized) Post Correspondence Problem
@@ Property / cites work: Binary (generalized) Post Correspondence Problem / rank @@
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Un algorithme calculant le cardinal, fini ou infini, des demi-groupes de matrices
+Normal rank
@@ Property / cites work @@
+Q4063245
@@ Property / cites work: Q4063245 / rank @@
+Normal rank
@@ Property / cites work @@
+On the rational subset problem for groups.
@@ Property / cites work: On the rational subset problem for groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time algorithm for the orbit problem
@@ Property / cites work: Polynomial-time algorithm for the orbit problem / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE UNDECIDABILITY OF THE FREENESS OF INTEGER MATRIX SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+More on Mortality
@@ Property / cites work: More on Mortality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341774
@@ Property / cites work: Q4341774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145882
@@ Property / cites work: Q4145882 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite semigroups of matrices
@@ Property / cites work: On finite semigroups of matrices / 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 @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Mortality of 2 × 2 Matrices
@@ Property / cites work: Mortality of 2 × 2 Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank