Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Stob M. [1982] Index sets and degrees of unsolvability J. Symbolic Logic, 47, № 2, 241-248 83.01.23 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Stob M. [1983] wtt -degrees and T -degrees of r. e.sets J. Symbolic Logic, 48, № 4, 921-930 84.09.28 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Knight J. F., Stob M. [2000] Computable Boolean algebras J. Symbolic Logic, 65, № 4, 1605-1623 01.09.307 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1993] Splitting theorems in recursion theory Ann. Pure Appl. Logic, 65, № 1, 1-106 ? G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1991] Jumps of hemimaximal sets Z. math. Logik und Grundl. Math., 37, № 2, 113-120 92.09.64 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1997] Minimal pairs in initial segments of the recursively enumerable degrees Israel J. Math., 100, 7-27 ? S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1993] Friedberg splittings of recursively enumerable sers Ann. Pure Appl. Logic, 59, № 3, 175-199 94.06.95 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1986] Structural interactions of the recursively enumerable T - and W -degrees Ann. Pure Appl. Logic, 31, № 8, 205-236 ? OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Maass W., Shore R.A., Stob M. [1981] Splitting properties and jump classes Israel. J. Math., 39, № 3, 210-224 82.06.55 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Stob M. [1982] Invariance of properties under automorphisms of the lattice of recursively enumerable sets Pacif. J. Math., 100, № 2 , 445-471 83.01.31 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Stob M. [1992] Automorphisms of the lattice of recursively enumerable sets: Orbits Adv. in Math., 92, № 2, 237-265 94.02.274 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Jockusch C.G. Jr. , Stob M. [1990] Array nonrecursive sets and multiple permitting arguments Lect. Notes in Math., 1432, 141-173, Springer-Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Soare R.I., Stob M. [1982] Relative recursive enumerability Proc. Herbrand Symp. Logic (Marseilles, 1981), Studies Logic and the Foundations of Math., 107, 229-324, North-Holland ? S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Jockusch C.G. Jr. , Stob M. [1996] Array nonrecursive sets and genericity London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 93-105 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cholak P., Downey R. G., Stob M. [1992] Automorphisms of the lattice of recursively enumerable sets: promptly simple sets Trans. Amer. Math. Soc., 332, № 2, 555-570 93.05.118 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Maass W., Stob M. [1983] The intervals of the lattice of recursively enumerable sets determined by major subsets Ann. Pure Appl. Logic, 24, № 2, 189-212 84.03.83 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Stob M. [1985] Major subsets and the lattice of recursively enumerable sets Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 107-116 86.03.58 OS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel J.R. Stefani S. Stephan F. Stephen B. Stewart F.M. Steyaert J.M. Stillwell J. Stob M. Stockmeyer L.J. Stoltenberg-Hansen V. StrongHR Sturgis H. E. Su Kaile Surányi J. Suzuki Y. Szmielew W. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.