On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups

Paul C. Bell, Igor Potapov. On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups. Int. J. Found. Comput. Sci., 21(6):963-978, 2010. [doi]

Abstract

Abstract is missing.