Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 6, Tome 129 (1973), pp. 30-202
Citer cet article
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/
@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 -
%0 Journal Article
%A A. O. Slisenko
%T Identification of the symmetry predicate by means of multihead Turing machines with input
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1973
%P 30-202
%V 129
%U http://geodesic.mathdoc.fr/item/TM_1973_129_a2/
%G ru
%F TM_1973_129_a2
