Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Канович М.И. [1970] О сложности разрешения рекурсивно перечислимых множеств ДАН СССР, 192, № 4, 721-723 70.11.51 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1982] О табличных сводимостях проблем продолжения частично-рекурсивных функций ДАН СССР, 264, № 2, 294-298 82.10.43 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1972] Сложность ограниченного разрешения полуперечислимых множеств ДАН СССР, 203, № 6, 1246-1248. 72.09.47 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1983] Об импликативности решетки табличных степеней алгорифмических проблем ДАН СССР, 270, № 5, 1046-1050 83.12.50 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1970] Сложность разрешения перечислимого множества как критерий его универсальности ДАН СССР, 194, № 3, 500-503 71.02.57 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1982] О сложности проблемы отделения рекурсивно перечислимых множеств ДАН СССР, 267, № 6, 1300-1304 83.04.39 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1969] О сложности разрешения алгорифмов ДАН СССР, 186, № 5, 1008-1009 69.12.120 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1970] О сложности перечисления и разрешения множеств. ДАН СССР, 190 , № 1, 121-123 70.05.56 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1975] Конструкция Деккера и эффективная перечислимость ДАН СССР, 222, № 5, 1028-1030 75.11.89 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1977] О точности сложностного критерия нерекурсивности и универсальности ДАН СССР, 232, № 6, 1249-1252. 77.07.42. статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1982] О таблично универсальных функциях и парах множеств Сб. Автоматы, алгоритмы, язык., Калинин, 86-98 83.04.37 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1983] Об эффективных теоремах и трансляции теоремы о рекурсии Сб. Автоматы, алгоритмы, язык., Калинин, 39-51 84.03.88 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Канович М.И. [1984] Решение задачи Роджерса о соотношении сильной и слабой теорем о рекурсии ДАН СССР, 279, № 5, 1040-1044 85.06.40 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.К Казанович Ю. Б. Калверт У. Калимуллин И.Ш. Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К. Клосс Б.М. Кобзев Г.Н. Когабаев Н.Т. Козмидиади В.А. Козьминых В....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.