brand

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


Новости

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


Поиск


Jain S.,Nessel J. ...

Jain S., Nessel J. [2001] Some independence results for control structures in complete numberings J. Symbolic Logic, 66, № 1, 357-382 05.08.101 article Вернуться к поиску

Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.
Fortnow L., Gasarch W. I., Jain S.,Kinber E. B.,Kummer M., Kurtz S. A., Pleszkoch M., Slaman T.A.,Solovay R. M.,Stephan F. ...

Fortnow L., Gasarch W. I., Jain S., Kinber E. B., Kummer M., Kurtz S. A., Pleszkoch M., Slaman T.A., Solovay R. M., Stephan F. [1994] Extremes in the degrees of inferability Ann. Pure Appl. Logic , 66, №.3, 231--276 ? O article Вернуться к поиску

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

J Jacobs B. E. Jacobs K. Jahn M.A. Jain S. Janiczak A. Jaśkowski S. Jeffrey R.C. Jensen R. B. Jiang Zhingen Jockusch C. G. Jr. Johnson N. JonesJP Joseph D. Вернуться на главную страницу

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