Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Yi Xiaoding ? Highness and the density property in the d-r.e. degrees ? ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Lachlan A.H., Yi Xiaoding [1993] Jump theorems for REA operators Math. Logic Quarterly, 39, 1-6 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yi Xiaoding [1996] A non-splitting theorem for α-r.e. sets Ann. Pure Appl. Logic, 82, № 1, 17-96 99.12.57 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Lachlan A.H., Yi Xiaoding [1989] A remark on pseudo-jump operators Proc. Amer. Math. Soc., 106, № 2, 489-491 90.09.38 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Li A., Yi Xiaoding [1999] Cupping the r.e. degrees by d.r.e. degrees Proc. London Math. Soc., 78, № 1, 1-21 99.ВН12.108 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cooper S.B., Yi Xiaoding [1995] The discontinuity of splitting in the recursively enumerable degrees Arch. Math. Logik Grundl., 34, № 4, 247-256 97.06.136 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cooper S.B., Li A., Yi Xiaoding [2002] On the distribution of Lachlan nonsplitting bases Arch. Math. Logik Grundl., 41, № 5, 455-482 05.09.78 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yi Xiaoding [1996] Extension of embeddings on the recursively enumerable degrees modulo the capable degrees London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 313-331 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cooper S.B., Sorbi A., Yi Xiaoding [1996] Cupping and noncupping in the enumeration degrees of Σ 2 0 sets Ann. Pure Appl. Logic, 82, № 3, 317-342 01.10.26 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Y YaknisA YaknisV Yang Dong Ping Yang Yue Yasuhara A. Yates C.E.M. Yi Xiaoding Young P.R. YuLiang Yue Jang Yuefei Sui Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.