Search results
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] Обобщенная иерархия Фейнера Сибирск. матем. журнал, 49, № 2, 243-255 08.10.137 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Алаев П.Е., Тербер Дж., Фролов А.Р.
Алаев П.Е., Тербер Дж., Фролов А.Р. [2009] Вычислимость на линейных порядках, обогащенных предикатами Алгебра и логика, 48, № 5, 549-562 10.06.93 статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Авторы на А
А Агафонов В.Н. Адян С.И. Айзенштейн М.Х. Акопджанян Д.Г. Алаев П.Е. Алтаев А.В. Амстиславский В.И. Арсланов M.M. Асатрян О.С. Ахтямов Р.В. Ашаев И.В. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.