Decision problems for groups and semigroups

Russian Mathematical Surveys

Volumn 55, Issue 2, 2000, Pages 207-296

  Adian, S I ^a   Durnev, V G ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034415361     PISSN: 00360279     EISSN: 14684829     Source Type: Journal    
DOI: 10.1070/RM2000v055n02ABEH000267     Document Type: Article

References (153)

1. S. Aanderaa, "A proof of Higman's embedding theorem using Britton extensions of groups", Stud. Logic Found. Math. 71 (1973), 1-18.
2. S. I. Adian, "Algorithmic insolubility of problems of recognition of certain properties of groups", Dokl. Akad. Nauk SSSR 103 (1955), 533-535. (Russian)
3. S. I. Adian, "Insolubility of some algorithmic problems in the theory of groups", Trudy Moskov. Mat. Obshch. 6 (1957), 231-298. (Russian)
4. S. I. Adian, "The role of the cancellation law in presenting cancellation semi-groups by means of denning relations", Dokl. Akad. Nauk SSSR 113 (1957), 1191-1194. (Russian)
5. S. I. Adian, "Finitely presented groups and algorithms", Dokl. Akad. Nauk SSSR 117 (1957), 9-12. (Russian)
6. S. I. Adian, "On algorithmic problems in effectively complete classes of groups", Dokl. Akad. Nauk SSSR 123 (1958), 13-16. (Russian)
7. S. I. Adian, "On the embeddability of semigroups in groups", Dokl. Akad. Nauk SSSR 133 (1960), 255-257; English transl., Soviet Math. Dokl. 1 (1960), 819-821.
8. S. I. Adian, "On the embeddability of semigroups in groups", Dokl. Akad. Nauk SSSR 133 (1960), 255-257; English transl., Soviet Math. Dokl. 1 (1960), 819-821.
9. S. I. Adian, "The word problem in associative systems of a special form", Dokl. Akad. Nauk SSSR 135 (1960), 1297-1300; English transl., Soviet Math. Dokl. 1 (1960), 1360-1363.
10. S. I. Adian, "The word problem in associative systems of a special form", Dokl. Akad. Nauk SSSR 135 (1960), 1297-1300; English transl., Soviet Math. Dokl. 1 (1960), 1360-1363.
11. S. I. Adian, "Identities in special semigroups", Dokl. Akad. Nauk SSSR 143 (1962), 499-502; English transl., Soviet Math. Dokl. 3 (1962), 401-404.
12. S. I. Adian, "Identities in special semigroups", Dokl. Akad. Nauk SSSR 143 (1962), 499-502; English transl., Soviet Math. Dokl. 3 (1962), 401-404.
13. S. I. Adian, Defining relations and algorithmic problems for groups and semigroups Trudy Mat. Inst. Steklov., vol. 85, Nauka, Moscow 1966; English transl., Proc. Steklov Inst. Math., vol. 85, 1966.
14. S. I. Adian, Defining relations and algorithmic problems for groups and semigroups Trudy Mat. Inst. Steklov., vol. 85, Nauka, Moscow 1966; English transl., Proc. Steklov Inst. Math., vol. 85, 1966.
15. S. I. Adian, "Infinite irreducible systems of group identities", Dokl. Akad. Nauk SSSR 190 (1970), 499-501; English transl., Soviet Math. Dokl. 11 (1970), 113-115.
16. S. I. Adian, "Infinite irreducible systems of group identities", Dokl. Akad. Nauk SSSR 190 (1970), 499-501; English transl., Soviet Math. Dokl. 11 (1970), 113-115.
17. S. I. Adian, "Infinite irreducible systems of group identities", Izv. Akad. Nauk SSSR Ser. Mat. 34 (1970), 715-734; English transl., Math. USSR-Izv. 4 (1970), 721-739.
18. S. I. Adian, "Infinite irreducible systems of group identities", Izv. Akad. Nauk SSSR Ser. Mat. 34 (1970), 715-734; English transl., Math. USSR-Izv. 4 (1970), 721-739.
19. S. I. Adian, The Burnside problem and identities in groups, Nauka, Moscow 1975; English transl., (Ergebnisse der Mathematik und ihrer Grenzgebiete, 95) Springer-Verlag, Berlin-Heidelberg-New York 1979.
20. S. I. Adian, "Transformations of words in a semigroup presented by a system of defining relations", Algebra i Logika 15 (1976), 611-621; English transl., Algebra and Logic 15 (1976) (1978), 379-386.
21. S. I. Adian, "Transformations of words in a semigroup presented by a system of defining relations", Algebra i Logika 15 (1976), 611-621; English transl., Algebra and Logic 15 (1976) (1978), 379-386.
22. S. I. Adian, "On the divisibility problem for one-relator monoids", Mat. Zametki 55:1 (1994), 3-9; English transl., Math. Notes 55 (1994), 3-7.
23. S. I. Adian, "On the divisibility problem for one-relator monoids", Mat. Zametki 55:1 (1994), 3-9; English transl., Math. Notes 55 (1994), 3-7.
24. S. I. Adian, "Normal subgroups of free periodic groups", Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), 931-947; English transl., Math. USSR-Izv. 19 (1982), 215-240.
25. S. I. Adian, "Normal subgroups of free periodic groups", Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), 931-947; English transl., Math. USSR-Izv. 19 (1982), 215-240.
26. S. I. Adian and G. U. Oganesyan, "On the word and divisibility problems in semigroups with a single defining relation", Izv. Akad. Nauk SSSR Ser. Mat. 42 (1978), 219-225; English transl., Math. USSR-Izv. 12 (1978), 207-212.
27. S. I. Adian and G. U. Oganesyan, "On the word and divisibility problems in semigroups with a single defining relation", Izv. Akad. Nauk SSSR Ser. Mat. 42 (1978), 219-225; English transl., Math. USSR-Izv. 12 (1978), 207-212.
28. S. I. Adian and G. U. Oganesyan, "The word and divisibility problems in semigroups with a single defining relation", Mat. Zametki 41 (1987), 412-421; English transl., Math. Notes 41 (1987), 235-240.
29. S. I. Adian and G. U. Oganesyan, "The word and divisibility problems in semigroups with a single defining relation", Mat. Zametki 41 (1987), 412-421; English transl., Math. Notes 41 (1987), 235-240.
30. V. N. Bezverkhnii, "Solution of the occurrence problem for a certain class of groups", in Collection: Questions in the theory of groups and semigroups, Tulsk. Gos. Ped. Inst., Tula 1972, pp. 3-86. (Russian)
31. L. A. Bokut' and G. P. Kukin, "Unsolvable algorithmic problems for semigroups, groups and rings", in Collection: Itogi Nauki i Tekhniki, Ser. Algebra, Topologiya, Geometriya, vol. 25, VINITI, Moscow 1987, pp. 3-66; English transl., J. Soviet Math. 45 (1989), 871-911.
32. L. A. Bokut' and G. P. Kukin, "Unsolvable algorithmic problems for semigroups, groups and rings", in Collection: Itogi Nauki i Tekhniki, Ser. Algebra, Topologiya, Geometriya, vol. 25, VINITI, Moscow 1987, pp. 3-66; English transl., J. Soviet Math. 45 (1989), 871-911.
33. W. W. Boone, "Certain simple unsolvable problems of group theory. V, VI", Proc. Konink. Nederl. Akad. Wetensch. Ser. A 60 (1957), 22-27, 227-232.
34. W. W. Boone, "The word problem, Ann. of Math. 70 (1959), 207-265.
35. W. W. Boone and G. Higman, "An algebraic characterization of the solvability of the word problem", J. Austral. Math. Soc. 18:1 (1974), 41-53.
36. W. W. Boone and H. Rogers, Jr., "On a problem of J. H. C. Whitehead and a problem of Alonzo Church", Math. Scand. 19 (1966), 185-192.
37. V. V. Borisov, "Simple examples of groups with unsolvable word problem", Mat. Zametki 6 (1969), 521-532; English transl., Math. Notes 6 (1969), 768-775.
38. V. V. Borisov, "Simple examples of groups with unsolvable word problem", Mat. Zametki 6 (1969), 521-532; English transl., Math. Notes 6 (1969), 768-775.
39. J. L. Britton, "The word problem for groups", Proc. London Math. Soc. (3) 8 (1958), 493-506.
40. J. L. Britton, "The word problem", Ann. of Math. 77 (1963), 16-32.
41. A. A. Chebotar', "Subgroups of groups with one defining relation that are representable in the form of a direct product", Izv. Vyssh. Uchebn. Zaved. Mat. 1978, no. 8, 109-118; English transl. in Soviet Math. (Iz. VUZ) 22 (1978).
42. A. A. Chebotar', "Subgroups of groups with one defining relation that are representable in the form of a direct product", Izv. Vyssh. Uchebn. Zaved. Mat. 1978, no. 8, 109-118; English transl. in Soviet Math. (Iz. VUZ) 22 (1978).
43. A. Church, "An unsolvable problem of elementary number theory", Amer. J. Math. 58 (1936), 345-363.
44. A. Church, "A note on the Entscheidungsproblem", J. Symbolic Logic 1:1 (1936), 40-41.
45. M. Dehn, "Über unendliche diskontinuerliche Gruppen", Math. Ann. 71 (1912), 116-144.
46. 2Θ", Algebra i Logika 18 (1979), 259-285; English transl., Algebra and Logic 18 (1980), 157-174.
47. 2Θ", Algebra i Logika 18 (1979), 259-285; English transl., Algebra and Logic 18 (1980), 157-174.
48. A. A. Fridman, "On the relation between the word problem and the conjugacy problem in finitely presented groups", Trudy Moskav. Mat. Obshch. 9 (1960), 329-356. (Russian)
49. A. I. Gol'berg, "On the impossibility of strengthening certain results of Greendlinger and Lyndon ", Uspekhi Mat. Nauk 33:6 (1978), 201-202; English transl., Russian Math. Surveys 33:6 (1978), 229-230.
50. A. I. Gol'berg, "On the impossibility of strengthening certain results of Greendlinger and Lyndon ", Uspekhi Mat. Nauk 33:6 (1978), 201-202; English transl., Russian Math. Surveys 33:6 (1978), 229-230.
51. M. Greendlinger, "Dehn's algorithm for the word problem", Comm. Pure Appl. Math. 13 (1960), 67-83.
52. M. Greendlinger, "On Dehn's algorithms for the conjugacy and word problems with applications", Comm. Pure Appl. Math. 13 (1960), 641-677.
53. F. Grunewald and D. Segal, "Some general algorithms. I: Arithmetic groups; II: Nilpotent groups", Ann. of Math. 112 (1980), 531-583, 585-617.
54. P. Hall, "On the finiteness of certain soluble groups", Proc. London Math. Soc. 9 (1959), 592-622.
55. G. Higman, "Subgroups of finitely presented groups", Proc. Roy. Soc. London. Ser. A 262 (1961), 455-475.
56. G. Higman, B. H. Neumann, and H. Neumann, "Embedding theorems for groups", J. London Math. Soc. 24 (1949), 247-254.
57. J. Howie and S. J. Pride, "The word problem for one-relator semigroups", Proc. Cambridge Philos. Soc. 99:1 (1986), 33-44.
58. E. R. van Kampen, "On some lemmas in the theory of groups", Amer. J. Math. 55 (1933), 268-273.
59. O. G. Kharlampovich, "A finitely presented solvable group with unsolvable word problem", Izv. Akad. Nauk SSSR Ser. Mat. 45:4 (1981), 852-873; English transl. in Math. USSR-Izv 19 (1982).
60. O. G. Kharlampovich, "A finitely presented solvable group with unsolvable word problem", Izv. Akad. Nauk SSSR Ser. Mat. 45:4 (1981), 852-873; English transl. in Math. USSR-Izv 19 (1982).
61. Yu. G. Kleiman, "On identities in groups", Trudy Moskov. Mat. Obshch. 44 (1982), 62-108; English transl. in Trans. Moscow Math. Soc. 1983, no. 2.
62. Yu. G. Kleiman, "On identities in groups", Trudy Moskov. Mat. Obshch. 44 (1982), 62-108; English transl. in Trans. Moscow Math. Soc. 1983, no. 2.
63. A. G. Kurosh, The theory of groups, Nauka, Moscow 1967; English transl. of 1st ed., Chelsea, New York 1960.
64. R. C. Lyndon, "On Dehn's algorithm", Math. Ann. 166 (1966), 208-228.
65. R. C. Lyndon and P. E. Schupp, Combinatorial group theory, Springer-Verlag, Berlin-Heidelberg-New York 1977; Russian transl., Mir, Moscow 1980.
66. I. G. Lysenok, "Infinite Burnside groups of even exponent", Izv. Ross. Akad. Nauk Ser. Mat. 60:3 (1996), 3-224; English transl., Russian Acad. Sci. Izv. Math. 60 (1996), 453-654.
67. I. G. Lysenok, "Infinite Burnside groups of even exponent", Izv. Ross. Akad. Nauk Ser. Mat. 60:3 (1996), 3-224; English transl., Russian Acad. Sci. Izv. Math. 60 (1996), 453-654.
68. A. Macintyre, "On algebraically closed groups", Ann. of Math. 96 (1972), 53-97.
69. W. Magnus, "Das Identitätsproblem für Gruppen mit einer definierenden Relation", Math. Ann. 106 (1932), 295-307.
70. W. Magnus, A. Karrass, and D. Solitar, Combinatorial group theory: Presentations of groups in terms of generators and relations, Wiley and Sons, New York-London-Sydney 1966; Russian transl., Nauka, Moscow 1974.
71. G. S. Makanin, "The word problem in finitely presented semigroups", Dokl. Akad. Nauk SSSR 171 (1966), 285-287; English transl., Soviet Math. Dokl. 7 (1966), 1478-1480.
72. G. S. Makanin, "The word problem in finitely presented semigroups", Dokl. Akad. Nauk SSSR 171 (1966), 285-287; English transl., Soviet Math. Dokl. 7 (1966), 1478-1480.
73. G. S. Makanin, The word problem in finitely presented groups and semigroups, Candidate (Ph.D) dissertation, Steklov Math. Inst., Moscow 1966. (Russian)
74. T. A. Makanina, "The occurrence problem for the braid group ℬn with n ≥ 5", Mat. Zametki 29 (1981), 31-33;
75. English transl., Math. Notes 29 (1981), 16-17.
76. A. I. Mal'tsev, "On homomorphismsonto finite groups", Uchen. Zap. Ivanov. Gos. Pedagog. Inst. 18:5 (1958), 49-60; English transl., Amer. Math. Soc. Transl. Ser. 2 (1983), 67-79.
77. A. I. Mal'tsev, "On homomorphismsonto finite groups", Uchen. Zap. Ivanov. Gos. Pedagog. Inst. 18:5 (1958), 49-60; English transl., Amer. Math. Soc. Transl. Ser. 2 (1983), 67-79.
78. A. I. Mal'tsev, Algorithms and recursive functions, Nauka, Moscow 1965; English transl., Wolters-Noordhoff, Groningen 1970.
79. A. A. Markov, "On the impossibility of certain algorithms in the theory of associative systems", Dokl. Akad. Nauk SSSR 55 (1947), 587-590; French transl., C. R. (Dokl.) Acad. Sci. URSS II, 55 (1947), 583-586.
80. A. A. Markov, "On the impossibility of certain algorithms in the theory of associative systems", Dokl. Akad. Nauk SSSR 55 (1947), 587-590; French transl., C. R. (Dokl.) Acad. Sci. URSS II, 55 (1947), 583-586.
81. A. A. Markov, The theory of algorithms, Trudy Mat. Inst. Steklov., vol. 42, Nauka, Moscow 1954; English transl., Israel Program for Scientific Translations, Jerusalem 1962.
82. A. A. Markov, "The insolubility of the problem of homeomorphy", Dokl. Akad. Nauk SSSR 121 (1958), 218-220. (Russian)
83. A. A. Markov, "Zum Problem der Darstellbarkeit von Matrizen", Z. Math. Logik Grundlag. Math. 4 (1958), 157-168.
84. Yu. V. Matiyasevich, "Simple examples of undecidable associative calculi", Dokl. Akad. Nauk SSSR 173 (1967), 1264-1266;
85. English transl., Soviet Math. Dokl. 8 (1967), 555-557.
86. S. V. Matveev, "An algorithm for the recognition of 3-spheres (according to A. Thompson)", Mat. Sb. 186:5 (1995), 69-84; English transl., Russian Acad. Sci. Sb. Math. 186 (1995), 695-710.
87. S. V. Matveev, "An algorithm for the recognition of 3-spheres (according to A. Thompson)", Mat. Sb. 186:5 (1995), 69-84; English transl., Russian Acad. Sci. Sb. Math. 186 (1995), 695-710.
88. K. A. Mikhailova, "The occurrence problem for direct products of groups", Dokl. Akad. Nauk SSSR 119 (1958), 1103-1105. (Russian)
89. K. A. Mikhailova, "The occurrence problem for free products of groups", Dokl Akad. Nauk SSSR 127 (1959), 746-748. (Russian)
90. C. F. Miller, III, "Decision problems for groups - survey and reflections", Math. Sci. Res. Inst. Publ. 23 (1992), 1-59.
91. V. L. Murskii, "Isomorphic embeddability of semigroups with countable sets of defining relations in finitely presented semigroups", Mat. Zametki 1 (1967), 217-224; English transl., Math. Notes 1 (1967), 145-149.
92. V. L. Murskii, "Isomorphic embeddability of semigroups with countable sets of defining relations in finitely presented semigroups", Mat. Zametki 1 (1967), 217-224; English transl., Math. Notes 1 (1967), 145-149.
93. B. H. Neumann, "The isomorphism problem for algebraically closed groups", Stud. Logic Found. Math. 71 (1973), 553-562.
94. B. B. Newman, "Some results on one-relator groups", Bull. Amer. Math. Soc. 74 (1968), 568-571.
95. J. Nielsen, "Om Regning med ikke-kommutative Faktoren og dens Anvendelse i Gruppeteorien", Mathematisk Tidsskrift B (1921), 77-94.
96. P. S. Novikov, "On the algorithmic unsolvability of the word problem", Dokl. Akad. Nauk SSSR 85 (1952), 709-712. (Russian)
97. P. S. Novikov, "Unsolvability of the conjugacy problem in the theory of groups", Izv. Akad. Nauk SSSR Ser. Mat. 18 (1954), 485-524. (Russian)
98. P. S. Novikov, On the algorithmic unsolvability of the word problem in group theory, Trudy Mat. Inst. Steklov., vol. 44, Nauka, Moscow 1955. (Russian)
99. P. S. Novikov and S. I. Adian, "Das Wortproblem für Halbgruppen mit einseitiger Kürzungsregel", Z. Math. Logik Grundlag. Math. 4:1 (1958), 66-88.
100. P. S. Novikov and S. I. Adian, "Infinite periodic groups. I, II, III, Izv. Akad. Nauk SSSR Ser. Mat. 32 (1968), 212-244, 251-524, 709-731; English transl., Math. USSR-Izv. 2 (1968), 209-236, 241-479, 665-685.
101. P. S. Novikov and S. I. Adian, "Infinite periodic groups. I, II, III, Izv. Akad. Nauk SSSR Ser. Mat. 32 (1968), 212-244, 251-524, 709-731; English transl., Math. USSR-Izv. 2 (1968), 209-236, 241-479, 665-685.
102. P. S. Novikov and S. I. Adian, "Defining relations and the word problem for free periodic groups of odd order", Izv. Akad. Nauk SSSR Ser. Mat. 32 (1968), 971-979; English transl., Math. USSR-Izv. 2 (1968), 935-942.
103. P. S. Novikov and S. I. Adian, "Defining relations and the word problem for free periodic groups of odd order", Izv. Akad. Nauk SSSR Ser. Mat. 32 (1968), 971-979; English transl., Math. USSR-Izv. 2 (1968), 935-942.
104. P. S. Novikov and S. I. Adian, "Commutative subgroups and the conjugacy problem in free periodic groups of odd order", Izv. Akad. Nauk SSSR Ser. Mat. 32 (1968), 1176-1190; English transl. in Math. USSR-Izv. 2 (1968).
105. P. S. Novikov and S. I. Adian, "Commutative subgroups and the conjugacy problem in free periodic groups of odd order", Izv. Akad. Nauk SSSR Ser. Mat. 32 (1968), 1176-1190; English transl. in Math. USSR-Izv. 2 (1968).
106. G. U. Oganesyan, "Semigroups with one relation and semigroups without cycles", Izv. Akad. Nauk SSSR Ser. Mat. 46 (1982), 88-94; English transl., Math. USSR-Izv. 20 (1983), 89-95.
107. G. U. Oganesyan, "Semigroups with one relation and semigroups without cycles", Izv. Akad. Nauk SSSR Ser. Mat. 46 (1982), 88-94; English transl., Math. USSR-Izv. 20 (1983), 89-95.
108. A. Yu. Ol'shanskii, Geometry of defining relations in groups, Nauka, Moscow 1989; English transl., Kluwer, Dordrecht 1991.
109. A. Yu. Ol'shanskii and A. L. Shmel'kin, "Infinite groups", in Collection: Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat., Fundam. Napravleniya, vol. 37, VINITI, Moscow 1989, pp. 5-113; English transl., Algebra, IV: Infinite groups, linear groups, Encycl. Math. Sci., vol. 37, Springer, Berlin 1993, pp. 1-95.
110. A. Yu. Ol'shanskii and A. L. Shmel'kin, "Infinite groups", in Collection: Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat., Fundam. Napravleniya, vol. 37, VINITI, Moscow 1989, pp. 5-113; English transl., Algebra, IV: Infinite groups, linear groups, Encycl. Math. Sci., vol. 37, Springer, Berlin 1993, pp. 1-95.
111. V. A. Osipova, "On the identity problem for finitely presented semigroups", Dokl. Akad. Nauk SSSR 178 (1968), 1017-1020; English transl., Soviet Math. Dokl. 9 (1968), 237-240.
112. V. A. Osipova, "On the identity problem for finitely presented semigroups", Dokl. Akad. Nauk SSSR 178 (1968), 1017-1020; English transl., Soviet Math. Dokl. 9 (1968), 237-240.
113. V. A. Osipova, Algorithmic problems in semigroups with a restricted measure of overlap of defining words, Candidate (Ph.D) dissertation, Steklov Math. Inst., Moscow 1971. (Russian)
114. R. D. Pavlov, "On the problem of recognition of group properties", Mat. Zametki 10 (1971), 169-180; English transl., Math. Notes 10 (1971), 524-530.
115. R. D. Pavlov, "On the problem of recognition of group properties", Mat. Zametki 10 (1971), 169-180; English transl., Math. Notes 10 (1971), 524-530.
116. E. L. Post, "Finite combinatory processes - formulation. I", J. Symbolic Logic 1:3 (1936), 103-105.
117. E. L. Post, "Recursive unsolvability of a problem of Thue", J. Symbolic Logic 12:1 (1947), 1-11.
118. M. O. Rabin, "Recursive unsolvability of group theoretic problems", Ann. of Math. 67 (1958), 172-194.
119. 5 with unsolvable word problem", Algebra i Logika 12 (1973), 577-602; English transl., Algebra and Logic 12 (1973), 327-346.
120. 5 with unsolvable word problem", Algebra i Logika 12 (1973), 577-602; English transl., Algebra and Logic 12 (1973), 327-346.
121. V. N. Remeslennikov and V. A. Roman'kov, "Model-theoretic and algorithmic questions in group theory", in Collection: Itogi Nauki i Tekhniki, Ser. Algebra, Topologiya, Geometriya, Vol. 21, VINITI, Moscow 1983, pp. 3-79; English transl., J. Soviet Math. 31 (1985) 2887-2939.
122. V. N. Remeslennikov and V. A. Roman'kov, "Model-theoretic and algorithmic questions in group theory", in Collection: Itogi Nauki i Tekhniki, Ser. Algebra, Topologiya, Geometriya, Vol. 21, VINITI, Moscow 1983, pp. 3-79; English transl., J. Soviet Math. 31 (1985) 2887-2939.
123. N. S. Romanovskii, "Some algorithmic problems for solvable groups", Algebra i Logika 13 (1974), 26-34; English transl., Algebra and Logic 13 (1974), 13-16.
124. N. S. Romanovskii, "Some algorithmic problems for solvable groups", Algebra i Logika 13 (1974), 26-34; English transl., Algebra and Logic 13 (1974), 13-16.
125. N. S. Romanovskii, "Free subgroups of finitely presented groups", Algebra i Logika 16 (1977), 88-97;
126. English transl., Algebra and Logic 16 (1977), 62-68.
127. M. V. Sapir, "On the word problem in periodic group varieties", Internat. J. Algebra Comput. 1 (1991), 115-126.
128. O. A. Sarkisyan, "Some relations between word problems and divisibility problems in groups and semigroups", Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), 909-921; English transl., Math. USSR-Izv. 15 (1980), 161-171.
129. O. A. Sarkisyan, "Some relations between word problems and divisibility problems in groups and semigroups", Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), 909-921; English transl., Math. USSR-Izv. 15 (1980), 161-171.
130. O. A. Sarkisyan, "On the word and divisibility problems in semigroups and groups without cycles", Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), 1424-1440; English transl., Math. USSR-Izv. 19 (1982), 643-656.
131. O. A. Sarkisyan, "On the word and divisibility problems in semigroups and groups without cycles", Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), 1424-1440; English transl., Math. USSR-Izv. 19 (1982), 643-656.
132. R. A. Sarkisyan, "Algorithmic questions for linear algebraic groups. I, II", Mat. Sb. 113 (1980), 179-216, 400-436; English transl., Math. USSR-Sb. 41 (1982), 149-179, 329-359.
133. R. A. Sarkisyan, "Algorithmic questions for linear algebraic groups. I, II", Mat. Sb. 113 (1980), 179-216, 400-436; English transl., Math. USSR-Sb. 41 (1982), 149-179, 329-359.
134. D. Scott, "A short recursively unsolvable problem (abstract)", J. Symbolic Logic 21:1 (1956), 111-112.
135. E. A. Scott, "A finitely presented simple group with unsolvable conjugacy problem", J. Algebra 90 (1984), 333-353.
136. M. A. Taitslin, "The isomorphism problem for commutative semigroups", Mat. Sb. 93:1 (1974), 103-128; English transl., in Math. USSR-Sb. 22 (1974).
137. M. A. Taitslin, "The isomorphism problem for commutative semigroups", Mat. Sb. 93:1 (1974), 103-128; English transl., in Math. USSR-Sb. 22 (1974).
138. M. A. Taitslin, "The isomorphism problem for commutative semigroups solved affirmatively", in Collection: Theory of models and its applications, Kazakh. Cos. Univ., Alma-Ata 1980, pp. 75-81. (Russian)
139. V. A. Tartakovskii, "On the problem of equivalence for certain types of groups", Dokl. Akad. Nauk SSSR 58 (1947), 1909-1910. (Russian)
140. V. A. Tartakovskii, "Solution of the word problem for groups with a k-reduced basis for k = 6", Izv. Akad. Nauk SSSR Ser. Mat. 13 (1949), 483-494. (Russian)
141. 3", Math. Res. Lett. 1 (1994), 613-630.
142. A. Thue, "Probleme über Veränderungen von Zeichenreihen nach gegebehen Regeln", Vid. Skr. Math.-Natur. KI 10 (1914).
143. H. Tietze, "Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten", Monatsh. Math. Phys. 19 (1908), 1-118.
144. G. S. Tseitin, "On the problem of recognition of properties of associative calculi", Dokl. Akad. Nauk SSSR 107 (1956), 209-212. (Russian)
145. G. S. Tseitin, "Associative calculus with insoluble equivalence problem", Dokl. Akad. Nauk SSSR 107 (1956), 370-371. (Russian)
146. G. S. Tseitin, "An associative calculus with an insoluble equivalence problem", Trudy Mat. Inst. Steklov. 52 (1958), 172-189. (Russian)
147. A. M. Turing, "On computable numbers, with an application to the Entscheidungsproblem", Proc. London Math. Soc. 42 (1936), 230-265.
148. M. K. Valiev, "Examples of universal finitely presented groups", Dokl. Akad. Nauk SSSR 211 (1973), 265-268; English transl., Soviet Math. Dokl. 14 (1973), 987-991.
149. M. K. Valiev, "Examples of universal finitely presented groups", Dokl. Akad. Nauk SSSR 211 (1973), 265-268; English transl., Soviet Math. Dokl. 14 (1973), 987-991.
150. I. A. Volodin, V. E. Kuznetsov, and A. T. Fomenko, "The problem of discriminating algorithmically the standard three-dimensional sphere", Uspekhi Mat. Nauk 29:5 (1974), 71-168; English transl., Russian Math. Surveys 29:5 (1974), 71-172.
151. I. A. Volodin, V. E. Kuznetsov, and A. T. Fomenko, "The problem of discriminating algorithmically the standard three-dimensional sphere", Uspekhi Mat. Nauk 29:5 (1974), 71-168; English transl., Russian Math. Surveys 29:5 (1974), 71-172.
152. G. Watier, "On the word problem for single relation monoids with an unbordered relator", Internat. J. Algebra Comput. 7 (1997), 749-770.
153. L. Zhang, "A short proof of a theorem of Adian", Proc. Amer. Math. Soc. 116:1 (1992), 1-3.