|
Trudy Matematicheskogo Instituta imeni V. A. Steklova, 1967, Volume 93, Pages 43–49
(Mi tm2825)
|
|
|
|
General theory of algorithms and calculuses
The representation of recursively enumerable sets by local calculi
S. Yu. Maslov
Citation:
S. Yu. Maslov, “The representation of recursively enumerable sets by local calculi”, Problems of the constructive direction in mathematics. Part 4, Work collection, Trudy Mat. Inst. Steklov., 93, Nauka, Leningrad, 1967, 43–49
Linking options:
https://www.mathnet.ru/eng/tm2825 https://www.mathnet.ru/eng/tm/v93/p43
|
Statistics & downloads: |
Abstract page: | 173 | Full-text PDF : | 101 |
|