News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Rice H.G. [1954] Recursive real numbers Proc. Amer. Math. Soc., 5, № 5, 784-791 55.2524 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rice H.G. [1956] Recursive and recursively enumerable orders Trans. Amer. Math. Soc., 83, № 2, 277-300 59.8723 OSG article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Gonshor H., Rice H.G. [1969] Recursive density types Trans. Amer. Math. Soc., 140, № 6, 403-503 70.04.78 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rice H.G. [1957] On the relative density of sets of integers Proc. Amer. Math. Soc., 8, № 2, 320-321 59.8724 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rice H.G. [1956] On completely recursively enumerable classes and their key arrays J. Symbolic Logic, 21, № 3, 304-308 57.2840 OSG article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rice H.G. [1953] Classes of recursively enumerable sets and their decision problems Trans. Amer. Math. Soc., 74 , № 2, 358-366 53.548 REOS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hay L. [1975] Rice theorems for d.r.e. sets Canad. J.Math., 27, № 2, 352-365 75.12.53 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Johnson N. [1977] Rice theorems for Σ n -1 sets Canad. J. Math., 29, № 4, 794-805 78.03.69 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.R Rabin M. Rackoff C.W. Rao J. Reed R.C. Regan K.W. Reidel D. Reimann J. Reitwiessner C. Remmel J.B. Retzlaff A. Rice H.G. RichterL RichterW RitchieDM RitchieRW Ritter W. Robertson E.L. RobinsonA RobinsonJ RobinsonRM RobinsonRW Rogers H. Jr. RoseGF Rosenstein J. G. Rosser J. B. Routledge N.A. RoyDK Royer J. Rubel L. Rubin M. Ruzzo W.L. Ryan B.E Rybakov A.N. Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.