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
Батыршин И.И. ...
Батыршин И.И. [2008] Относительная перечислимость в иерархии Ершова Мат. заметки, 84, № 4, 506-517 09.07.103 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Батыршин И.И.
Батыршин И.И. [2010] Изолированные 2-вычислимо перечислимые Q -степени Изв. Вузов. Мат., № 4, 3-9 10.08.59 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Авторы на Б
Б Бадаев С.А. Барздинь Я.М. Батыршин И.И. Белеградек О.В. БеляевВН БеляевВЯ Березин С.А. Березнюк С. Л. Бернайс П. Бокуть Л.А. Бубис М.И. Буйлина Е.М. Булитко В.К. Буллос Дж....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.