News
02 August, 2019
OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
10 April, 2019
Ivannikov Memorial Workshop has been supported by IEEE
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
Yuefei Sui, Zhang Z. ...
Yuefei Sui, Zhang Z. [1999] The cupping theorem in R/M J. Symbolic Logic, 64, № 2, 643-650 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
LiAngs,Wu G.,Zhang Z. ...
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.
Yuefei S., Zhang Z.
Yuefei S., Zhang Z. [2000] There is no minimal r.e. degree in every nonzero [ a ]∈ R / M J.Software, 11, № 11, 1425-1429 01.ВН5.72 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Авторы на Z
Z Zakon E. Zambella D. Zhang Z. Zheng X. Zhukov A.V. Zimand M. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.