Библиография Лаврова И.А.

Новости

12 Марта, 2025 XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»

01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет

17 Февраля, 2025 Конкурс на замещение должности

Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)

Введение и правила пользования системой

Навигация по авторам:

Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я

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

Поиск

Калверт У.,Камминс Д. ,Найт Дж. Ф.,Миллер С. ...

Калверт У., Камминс Д. , Найт Дж. Ф., Миллер С. [2004] Сравнение классов конечных структур Алгебра и логика, 43, № 6, 666-701 05.12.69 статья Вернуться к поиску

Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.

Калверт У.,Харизанова В. С.,Найт Дж. Ф.,Миллер С. ...

Калверт У., Харизанова В. С., Найт Дж. Ф., Миллер С. [2006] Индексные множества вычислимых моделей Алгебра и логика, 45, № 5, 538-574 08.01.213 статья Вернуться к поиску

Авторы на К