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

Published in: Int. J. Found. Comput. Sci. (2010)

Keyphrases