Search results
News
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
Канович М.И. [1970] О сложности разрешения рекурсивно перечислимых множеств ДАН СССР, 192, № 4, 721-723 70.11.51 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1982] О табличных сводимостях проблем продолжения частично-рекурсивных функций ДАН СССР, 264, № 2, 294-298 82.10.43 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1972] Сложность ограниченного разрешения полуперечислимых множеств ДАН СССР, 203, № 6, 1246-1248. 72.09.47 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1983] Об импликативности решетки табличных степеней алгорифмических проблем ДАН СССР, 270, № 5, 1046-1050 83.12.50 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1970] Сложность разрешения перечислимого множества как критерий его универсальности ДАН СССР, 194, № 3, 500-503 71.02.57 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1982] О сложности проблемы отделения рекурсивно перечислимых множеств ДАН СССР, 267, № 6, 1300-1304 83.04.39 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1969] О сложности разрешения алгорифмов ДАН СССР, 186, № 5, 1008-1009 69.12.120 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1970] О сложности перечисления и разрешения множеств. ДАН СССР, 190 , № 1, 121-123 70.05.56 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1975] Конструкция Деккера и эффективная перечислимость ДАН СССР, 222, № 5, 1028-1030 75.11.89 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1977] О точности сложностного критерия нерекурсивности и универсальности ДАН СССР, 232, № 6, 1249-1252. 77.07.42. статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1982] О таблично универсальных функциях и парах множеств Сб. Автоматы, алгоритмы, язык., Калинин, 86-98 83.04.37 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1983] Об эффективных теоремах и трансляции теоремы о рекурсии Сб. Автоматы, алгоритмы, язык., Калинин, 39-51 84.03.88 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1984] Решение задачи Роджерса о соотношении сильной и слабой теорем о рекурсии ДАН СССР, 279, № 5, 1040-1044 85.06.40 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.К Казанович Ю. Б. Калверт У. Калимуллин И.Ш. Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К. Клосс Б.М. Кобзев Г.Н. Когабаев Н.Т. Козмидиади В.А. Козьминых В....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.