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
Cet article a éte moissonné depuis 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},
year = {1973},
volume = {129},
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 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/