Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Кобзев Г.Н. [1977] Максимальные m -степени Сооб. АН ГССР, 85, № 2, 325-327 77.09.54 S статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1974] Полные btt -степени Алгебра и логика, 13 , № 1, 22-25 ? OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1973] О btt -сводимости Алгебра и логика, 12, № 2, 190-204. 74.02.64 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1973] О btt -сводимости, II Алгебра и логика, 12, № 4, 433-444 74.06.117 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1978] О полурешетке tt -степеней Сооб. АН ГССР, 90, № 2, 281-283 78.12.63 S статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1977] О рекурсивно перечислимых bw -степенях Мат. заметки, 21, № 6, 839-846 77.11.90 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1980] wtt -степени без максимальных tt -степеней Сооб. АН ГССР, 122, № 2, 249-252 86.11.40 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1979] О tt -степенях рекурсивно перечислимых тьюринговых степеней, II Алгебра и логика, 18, № 4, 415-425 80.07.31 S статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1978] О tt -степенях рекурсивно перечислимых тьюринговых степеней Мат. сборник, 106, №4, 507-514 79.02.54 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1976] Соотношения между рекурсивно перечислимыми tt - и w -степенями Сооб. АН ГССР, 84, № 3, 585-586 77.08.29 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1975] О r -отделимых множествах Cб. Исследования по мат. логике и теории алгоритмов, № 1, 19-30, Тбилиси 76.06.60 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кобзев Г.Н. [1977] О предельных минимальных номерах для функций из эффективно перечислимых классов Сб. Теория алгоритмов и программ, Рига, 3, 35-56 ? статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.К Казанович Ю. Б. Калверт У. Калимуллин И.Ш. Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К. Клосс Б.М. Кобзев Г.Н. Когабаев Н.Т. Козмидиади В.А. Козьминых В.В. Кокорин А.И. Колганов Н. Колмогоров А.Н. Комбарро Э.Ф. Корольков Ю.Д. Костырко В.Ф. Крупский В.Н....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.