Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Ding Decheng, Qian Lei ? An r.e. degree not isolating any d -r.e. degree ? ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng [1987] A splitting property of R.E. sets J. Nanjing Univ. Math. Biquart., 4, № 1, 87-90 88.01.43 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng [1987] R.e. degrees of recursively inseparable sets Adv. in Math., 8, № 2, 149-154 87.11.59 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng [1993] Every p -generic r.e.degrees is meet-inaccessible Chin. Ann. Math., 14, № 5, 542-547 94.06.94 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng [1994] Non- p -generic and strongly nonbranching degree Acta Math. Sinica, 10, № 1, 30-41 95.06.59 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng [1984] The minimal pair of r.e. recursively inseparable sets J. Nanjing Univ. Math. Biquart., 1, № 2, 268-271 85.06.38 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng [1992] The distribution of the generic recursively enumerable degrees Arch. Math. Log., 32, № 2, 113-135 94.01.42 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng, Qian Lei [1994] Isolated d.r.e. degrees are dense in r. e. degree structure Repts Math. Logic, № 7, 1-11 95.08.74 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng, Lu Hong, Qian Lei [2000] A splitting with infinum in the d -r.e. degrees Math. Logic Quarterly, 46, № 1, 53-76 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K. Ding Decheng [1994] Discontinuity of cappings in the recursively enumerable degrees and strongly non branching degrees Math. Logic Quarterly, 40, 287-317 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ding Decheng, Qian Lei [1996] Isolated d .r.e. degrees are dense in r. e. degree structure Arch. Math. Logik Grundl., 36, № 1, 1-10 01.10.125 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ambos-Spies K. Ding Decheng, Fejer P.A. [1993] Embedding distribute lattice preserving 1 below a nonzero recursively enumerable Turing degree Progr. Comp. Sci. Appl. Logic, 12, 92-129 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.D Daley R.P. Dańko W. Davey K. Davis M. Dawes A.M. Degtev A.N. Dekker J.C.E. Demuth O. Dennis-Jones E.G. Di Paola R.A. Dietzfelbinger M. Ding Decheng Ditchev A.V. Dobrinen N. Dobritsa V. P. Doner J. Dougherty R. Downey R. Dreben B. Driscoll G. C. Jr. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.