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
General Theory of Computability (bibliography) by Lavrov I.A. Introduction This database was created to provide ... ... recursive functions and effective computability" (Russian version). E - Ershov Ju. L. "Theory of numberings" (Russian version). O – Odifreddi P. "Classical... ... equivalent to "contact and information". or or, | Operator logical or allows searching for entities containing at least one of the operands. not not, ~ Operator logical...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Mourad J. [1990] Superbranching degrees Lect. Notes in Math., 1432, 175-186, Springer-Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yang Dong Ping [1987] The existence of minimal honest polynomial degrees below Chin. Quart. J. Math., 2, 21-26 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grilliot T. [1969] Hierarchies based on objects of finite type J. Symbolic Logic, 34, № 2, 177-182 70.03.81 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Flajolet P., Steyaert J.M. [1976] Hierarchies de complexite et reductions entre problémes Asterisque, № 38-39, 53-72 77.06.62 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shepherdson J.C. [1965] Machine configuration and word problem of given degree of unsolvability Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 69-80 69.02.80 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li Xiang [1982] Effectively immune sets, program index sets and effectively simple sets Chin. J. Comput., 5, 273-279 83.B2.827 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Minsky M.L. [1967] Computations:Finite and infinite machines Prentice-Hall, Inc., N.J (Имеется русский перевод.) ? O book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Feiner L. [1970] Hierarchies of Boolean algebras J. Symbolic Logic, 35 , № 3, 365-374 (Русский перевод в книге Дж. С. Шенфилда Степени неразрешимости , М., Наука, 1977, 163-179.) 71.07.80 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shepherdson J.C. [1965] Machine configuration and word problem of given degree of unsolvability Z. math. Logik und Grundl. Math., 11, № 2, 149-175 67.05.53 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Alfeld Ch. [2007] Non branching degrees in the Medvedev lattice of Π 1 0 classes J. Symbolic Logic , 72, № 1, 81-97. ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Büchi J.R. [1962] On a decision method in restricted second order arithmetic Proc. I Iinter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 1-11 (Русский перевод: Киберн. сборник, 1964, № ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Эббинхаус Г.Д., Якобс К., Ман Ф.К., Гермес Г. [1972] Машины Тьюринга и рекурсивные функции М., Мир (Перевод книги, Ebbinghaus H.D., Jacobs K., Mahn F.K., Hermes H. “Turing-Maschinen und berechenbare Funktionen”, 1970.) 73.В2.354 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ruzzo W.L., Simon J., Tompa M. [1984] Space-bounded hierarchies and probabilistic computations J. Comp. and System Sci., 28, № 2, 216-230 84.Г11.90 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jiang Zhingen [1993] The diamond lattice embedded into the d -r.e. degrees Sci. in China, A36, 803-811 ?; O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hensel G., Putnam H. [1965] On the notational independence of various hierarchies of degree of unsolvability J. Symbolic Logic, 30, № 1, 69-86 68.07.67 R article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Schinzel B. [1980] Decomposition of Godel-numberings into Friedberg-numberings J. Symbolic Logic, 47, № 2, 267-274 82.11.22 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fejer L., Shore R.A. [2001] Every incomplete computably enumerable truth-table degree is branching Arch. Math. Logik Grundl., 40, № 2, 113-123 04.12.86 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Greenberg N., Mihailovich N. J., Nies A. [2005] Lowness for computable machines Proc. Comp. Prospects of Infinity, World Scientific, Singapore, ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Welch P. D. [2000] Eventually infinite time turing machine degrees: Infinite time decidable reals J. Symbolic Logic, 65, № 3, 1193–1203 07.01.76 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Enderton G., Luckham D. [1964] Hierarchies over recursive well-ordering J. Symbolic Logic, 29, № 4, 183-190 68.07.66 R article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jones J.P., Matijasevich Yu.V. [1984] Register machine proof of the theorem on exponential Diophantine representations of enumerable sets J. Symbolic Logic, 49, № 3, 818-829 85.04.45 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hartmanis J., Lewis P.M. Stearns R.E. [1965] Hierarchies of memory limited computations IEEE Conf. Rec. Switch, Circuit Theory and Logic, Design (Ann. Arbor, Mich., 1965), № 9, Inst. Electr. and Electron. Engs., 1965, 179-190. (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chisholm J., Knight J.F., Miller S. [2007] Computable embeddings and strongs minimal theories J. Symbolic Logic, 72, № 3, 1031-1040 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.McLaughlin T.G. [1965] Splitting and decomposition by regressive sets Michigan Math. J., 12, № 4, 499-505 66.08.73 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lubarsky R.S. [1987] Uncoutable master codes and the jump hierachiy J. Symbolic Logic, 52, № 4, 952-958 88.06.66 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.McLaughlin T.G. [1967] Some remarks on extensibility confluence of paths branching properties and index sets for certain recursively enumerable graphs Ill. J. Math., 11, № 2, 257-279 68.08.53 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Shore R.A. [1984] Pseudo-jump operators, II : transfinite iterations, hierarchies and minimal covers J. Symbolic Logic, 49, № 4, 1205-1236 85.09.32 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Yang Yue [1998] Recursion theory in weak fragments of arithmetic: A study of cuts Proc 6 Asian Logic Conf., (Beijing, China, 1998), 47-65, World Scientific, Singapore Univ. Press ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chisholm J., Chubb J., Harizanov V.S., Hirschfeldt D. R., Jockusch C. G. Jr. McNiholl T., Pingrey S. [2007] Π 1 0 classes and strong degree spectra of relation J. Symbolic Logic, 72, № 3, 1003-1018 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lempp S. [1998] Decidability and undecidability in the enumerable Turing degrees Proc. 6 Asian Logic Conf. (Beijing , China, 1998), 151-161 World Scientific, Singapore Univ. Press ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jiang Zhingen [1993] The non-denseness of d.r.e. degrees above any low r.e.degrees Chin. Ann. Math. , A14, № 5, 501-506 94.06.93 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fejer P.A. [1982] Branching degrees above low degrees Trans. Amer. Math. Soc., 273, № 1, 157-180 83.03.58 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.McLaughlin T.G. [1964] Some observations on quasicohesive sets Michigan Math. J., 11, № 1, 83-87 65.09.60 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ivanov L.L. [1989] Abstract hierarchies and degrees J. Symbolic Logic, 54, № 1, 16-25 89.11.42 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Gill J. [1977] Computational complexity of probabilistic Turing machies SIAM J. Comp., 6, № 4, 675-695 78.B8.587 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Büchi J.R. [1960] Weak second order arithmetic and finite automata Z. math. Logik und Grundl. Math., 6, № 1, 66-92 (Русский перевод в Киберн. сборнике , 1964, № 8, 42-47.) 61.03.93 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jiang Zhingen, Yuefei Sui [1995] The relative noncappability of the recursively enumerable wtt -degrees Chin. J. Adv. Soft. Res., 2, 381-388 ?; O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Blum M. [1967] A machine independent theory of the complexity of recursive functions J. Ass. Comp. Mach., 14, № 2, 322-336 (Русский перевод в Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций (Козмидиади ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ebbinghaus H.D., Jacobs K., Mahn F.K., Hermes H. [1970] Turing-Maschinen und berechenbare Funktionen Selekta Mathematica II, Springer (Имеется русский перевод) ? book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Büchi J.R. [1962] Turing machines and the Entscheidungproblems Math. Ann., 148, № 3, 201-213 63.05.63 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Dennis-Jones E.G., Wainer S.S. [1984] Subrecursive hierarchis via direct limits Lect. Notes in Math., 1104, 117-128, Springer-Verlag 85.10.62 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Nies A., Sorbi A. [1999] Branching in the Σ 2 enumeration degrees Israel J. Math., 110, № 1, 29-59 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fejer P.A. [1983] The density of the nonbraching degrees Ann. Pure Appl. Logic, 24, № 2, 113-130 84.02.42 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.S Sacks G.E. Salts M.C. Sanches L. Sankappanavar H.P. Sasso L.P. Schaefer M. Schaeffer B. Schäfer G. Schinzel B. Schmerl J.H. Schmidt D. Schmitz H. Schnorr C. P. Schwabhauser W. Schwarz S. T. Schwichtenberg H. Scott D. Seetapun D. Seidenberg A. Seigneur A. Selivanov V.L. Selman A.L. Semenov A.L. Semukhin P. Shapiro N. Shavrukov V. Yu. Shelach S. Shen A.Kh. Shepherdson ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.C Calhoun W. Calude C. Calvert W. Cannonito F.B. Carnielly W.A. Carpentier A. Carroll J.S. Carstens H.G. Casalegno P. CaseJ Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable R.L. Cooper S. B. CopestakeCS CopestakeK Criscuolo G. Crossley J. Csima B. Cutland N. J. Вернуться на главную ...
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..... A. BermanL BermanP Bernardi C. Bernays P. Berry J. Bianchini C. Bickford M. Binns S. Blacino L. Blair H. A. Blaylock R. Blum M. Bojkova E. BookR Boolos G. Boon W.W. Börger E. Borodin A. Boyd R. Brandt U. Breidbart S. BrownAB BrownDK Buchberger B. Büchi J.R. Bulitko V.K. Burkard E. Burris S. Buss S. Byerly R. E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.