Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Yuefei Sui, Zhang Z. [1999] The cupping theorem in R/M J. Symbolic Logic, 64, № 2, 643-650 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yuefei Sui [1987] Some results about the r.e. degrees Acta Math. Sinica, 3, 170-179 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yuefei Sui [1994] More on minimal pairs Acta Math. Sinica, 10, 220-224 ? O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yuefei Sui [1994] A new reducibility between Turing- and wtt -reducibility Math. Logic Quarterly, 40, № 1,106-110 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Yuefei Sui [1993] On the problem of the critical bound Acta Math. Sinica, 9, № 3, 225-230 94.05.72 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Lempp S., Yuefei Sui [1996] On extended Lachlan splitting theorem Ann. Pure Appl. Logic, 79, № 1, 53-59 99.12.50 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Jiang Zhingen, Yuefei Sui [1995] The relative noncappability of the recursively enumerable wtt -degrees Chin. J. Adv. Soft. Res., 2, 381-388 ?; 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сийской академии наук / Библиография Лаврова И.А.