Voir la notice de l'article provenant de la source Math-Net.Ru
@article{TM_1973_129_a2, author = {A. O. Slisenko}, title = {Identification of the symmetry predicate by means of multihead {Turing} machines with input}, journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova}, pages = {30--202}, publisher = {mathdoc}, volume = {129}, year = {1973}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/TM_1973_129_a2/} }
TY - JOUR AU - A. O. Slisenko TI - Identification of the symmetry predicate by means of multihead Turing machines with input JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1973 SP - 30 EP - 202 VL - 129 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TM_1973_129_a2/ LA - ru ID - TM_1973_129_a2 ER -
A. O. Slisenko. Identification of the symmetry predicate by means of multihead Turing machines with input. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 6, Tome 129 (1973), pp. 30-202. http://geodesic.mathdoc.fr/item/TM_1973_129_a2/