On Markov's undecidability theorem for integer matrices.
From MaRDI portal
Publication:2460065
DOI10.1007/s00233-007-0714-xzbMath1131.20042OpenAlexW1985893106MaRDI QIDQ2460065
Publication date: 14 November 2007
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00233-007-0714-x
Semigroups of transformations, relations, partitions, etc. (20M20) Free semigroups, generators and relations, word problems (20M05) Algebraic systems of matrices (15A30) Word problems, etc. in computability and recursion theory (03D40)
Related Items
Number theory of matrix semigroups ⋮ On factorizations of upper triangular nonnegative matrices of order three ⋮ Reachability problems in quaternion matrix and rotation semigroups ⋮ Post Correspondence Problem and Small Dimensional Matrices ⋮ On upper triangular nonnegative matrices