|
Trudy Matematicheskogo Instituta im. V. A. Steklova, 1973, Volume 129, Pages 30–202
(Mi tm3173)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Identification of the symmetry predicate by means of multihead Turing machines with input
A. O. Slisenko
Citation:
A. O. Slisenko, “Identification of the symmetry predicate by means of multihead Turing machines with input”, Problems of the constructive direction in mathematics. Part 6, Trudy Mat. Inst. Steklov., 129, 1973, 30–202; Proc. Steklov Inst. Math., 129 (1973), 25–208
Linking options:
https://www.mathnet.ru/eng/tm3173 https://www.mathnet.ru/eng/tm/v129/p30
|
|