Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Wu G. [2002] Isolation and lattice embeddings J. Symbolic Logic, 67, № 3, 1055-1064 05.09.84 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wu G. [2004] Bi-isolation in the d.c.e. degrees J. Symbolic Logic, 69, № 2, 419-420 06.05.74 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wu G. [2002] Q -measures on Q k λ Arch. Math. Logik Grundl., 42, № 2, 201-204 08.06.58 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wu G. [2006] Jump operator and Yates degrees J. Symbolic Logic, 71, № 1, 252-264 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Miller J. S., Wu G. ? Degrees of members of thin classes ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Lempp S., Wu G. ? On the complexity of the successivity relation in computable linear orders ? ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Li A., Wu G., Zhang Z. [2000] A hierarchy for cuppable degrees Ill. J. Math., 44, № 3, 619-632 05.09.77 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Wu G., Zheng Xizhong [2004] Degrees of d .c.e. reals Math. Logic Quarterly, 50, № 4-5, 345-350 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wu G. [2004] On the density of the pseudo-isolated degrees Proc. London Math. Soc., 88, № 2, 273-288 06.05.75 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G., Li A., Wu G. [2004] Complementing capable degrees in the difference hierarchy Ann. Pure Appl. Logic, 125, № 1-3, 101-118 ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ishmukhametov Sh.Т., Wu G. [2002] Isolation and high/low hierarchy Arch. Math. Logik Grundl., 41, № 3, 259—266 05.09.83 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ng Keng Meng , Stephan F., Wu G. [2006] The degree of weakly computable reals Lect Notes in Comput. Sci., 3988, 413-422 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Cooper S.B., Salts M.C., Wu G. [2008] The non isolating degrees are upwards dense in the computable enumerable degrees Lect. Notes in Comp. Sci., 4978, 588-596, Springer -Verlag ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Wu G. [2008] Cupping computable enumerable degrees in the Ershov hierarchy Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 393-420 ? article Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... Wald K. Walk S. WangHao WangJ Watanabe O. Watnick R. Watson P. WeberF Weber.FP WeberR Wechsung G. Wehner S. Weihrauch K. Weitkamp G. WelchL Welch.LV WelchPD Weyuker E. White W. Wiehagen R. Winklmann K. Woodin H.W. Woods A.R. Wrathall C. Wright J. B. Wu G. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.