Voir la notice de l'article provenant de la source Math-Net.Ru
@article{IVM_2001_9_a8, author = {V. Yu. Popov}, title = {On the problem of the deducibility of identities in finite rings}, journal = {Izvesti\^a vys\v{s}ih u\v{c}ebnyh zavedenij. Matematika}, pages = {51--58}, publisher = {mathdoc}, number = {9}, year = {2001}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/IVM_2001_9_a8/} }
V. Yu. Popov. On the problem of the deducibility of identities in finite rings. Izvestiâ vysših učebnyh zavedenij. Matematika, no. 9 (2001), pp. 51-58. http://geodesic.mathdoc.fr/item/IVM_2001_9_a8/
[1] Kourovskaya tetrad, 7-e izd., Novosibirsk, 1980, 35 pp.
[2] Kleiman Yu. G., “Tozhdestva i nekotorye algoritmicheskie problemy v gruppakh”, DAN SSSR, 244:4 (1979), 814–818 | MR
[3] Murskii V. L., “Neraspoznavaemye svoistva konechnykh sistem tozhdestvennykh sootnoshenii”, DAN SSSR, 196:3 (1971), 520–522 | MR | Zbl
[4] Popov V. Yu., “O probleme vyvodimosti tozhdestv dlya kolets”, III mezhdunarodn. konf. po algebre, Tez. dokl., Krasnoyarsk, 1993, 272
[5] Maltsev A. I., Algoritmy i rekursivnye funktsii, Nauka, M., 1965, 391 pp. | MR
[6] Gurevich Yu. Sh., “Problema ravenstva slov dlya nekotorykh klassov polugrupp”, Algebra i logika, 5, No 5, Novosibirsk, 1966, 25–35 | Zbl
[7] Kharlampovich O. G., Sapir M. V., “Algorithmic problems in varieties”, Int. J. Algebra and Comput., 1995, no. 5, 3–210 | MR
[8] Minsky M. L., “Recursive unsolvability of Post's problem of TAG and other topics in theory of Turing machines”, Ann. Math., 74:3 (1961), 437–455 | DOI | MR | Zbl
[9] Popov V. Yu., “Ekvatsionalnye teorii mnogoobrazii metabelevykh i kommutativnykh kolets”, Algebra i logika, 34, No 3, Novosibirsk, 1995, 347–361 | Zbl