P. S. Novikov. Ob algoritmičéskoj nérazréšimosti problémy toždéstva (On algorithmic unsolvability of the word problem). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 709–712.
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):