News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
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
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Wu G. [2002] Isolation and lattice embeddings J. Symbolic Logic, 67, № 3, 1055-1064 05.09.84 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Wu G. [2004] Bi-isolation in the d.c.e. degrees J. Symbolic Logic, 69, № 2, 419-420 06.05.74 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Wu G. [2002] Q -measures on Q k λ Arch. Math. Logik Grundl., 42, № 2, 201-204 08.06.58 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Wu G. [2006] Jump operator and Yates degrees J. Symbolic Logic, 71, № 1, 252-264 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Miller J. S., Wu G. ? Degrees of members of thin classes ? ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Lempp S., Wu G. ? On the complexity of the successivity relation in computable linear orders ? ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Li A., Wu G., Zhang Z. [2000] A hierarchy for cuppable degrees Ill. J. Math., 44, № 3, 619-632 05.09.77 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Wu G., Zheng Xizhong [2004] Degrees of d .c.e. reals Math. Logic Quarterly, 50, № 4-5, 345-350 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Wu G. [2004] On the density of the pseudo-isolated degrees Proc. London Math. Soc., 88, № 2, 273-288 06.05.75 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ishmukhametov Sh.Т., Wu G. [2002] Isolation and high/low hierarchy Arch. Math. Logik Grundl., 41, № 3, 259—266 05.09.83 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ng Keng Meng , Stephan F., Wu G. [2006] The degree of weakly computable reals Lect Notes in Comput. Sci., 3988, 413-422 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... 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. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.