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
Марченков С.С. [2004] Функциональные системы с операцией суперпозиции М., Наука 05.ВН5.318 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1971] О полуструктурах вычислимых нумераций ДАН СССР, 198, № 4, 766-768 71.12.73 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [2007] Рекурсивные функции Москва, Физматлит 08.ВН4.41 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [2003] Булева сводимость Дискрет. мат., 15, № 3, 40-84 84.Г1.223 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С. С. [1979] О квазипеановости рекурсивных функций Проблемы кибернетики, 35, М., Наука, 199-204 79.В6.710 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1973] О существовании семейств без позитивных нумераций Мат. заметки, 13, № 4, 597-604 73.08.53 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1991] Базисы по суперпозиции в классах рекурсивных функций Матем. вопросы кибернетики, в.3, 115-139 91.10.36 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [2003] Элементарные рекурсивные функции М., Из-во Московского центра непрерывного математического образования 03.11.81 книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1976] О табличных степенях максимальных множеств Мат. заметки, 20, № 3, 373-381 77.02.80 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1976] Об одном классе неполных множеств Мат. заметки, 20, № 4, 473-478 77.02.62 EOS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1972] О вычислимых нумерациях семейств общерекурсивных функций Алгебра и логика, 11 , № 5, 588-607 73.07.103 EG статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1977] О рекурсивно перечислимых минимальных btt -степенях Мат. сборник, 103, № 4, 550-562 77.12.47 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1975] О существовании рекурсивно перечислимых минимальных табличных степеней Алгебра и логика, 14, № 4, 422-429 76.05.47 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1971] О минимальных нумерациях систем рекурсивно перечислимых множеств ДАН СССР, 198, № 3, 530-532 71.12.71 EO статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1982] Неразрешимость позитивной ∀∃-теории свободной полугруппы Сибирск. матем. журнал, 23, № 1, 196-198 82.06.93 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1978] Об одном методе построения максимальных подалгебр в алгебрах общерекурсивных функций Алгебра и логика, 17, № 5, 581-595 79.08.44 статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1976] К сравнению верхних полурешеток рекурсивно перечислимых табличных степеней и m -степеней Мат. заметки, 20, № 1, 19-26 76.11.73 OS статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1990] О существовании бесконечных базисов по суперпозиции в некоторых классах одноместных функций Мат. заметки, 47, № 4, 55-62 90.10.37 статья ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1986] Существование базисов по суперпозиции в счетных примитивно рекурсивных замкнутых классах Мат. заметки, 39, № 2, 268-276 86.Г6.145 O статья ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1980] Существование базисов по суперпозиции в счетных примитивно рекурсивных амкнутыъ классах одноместных функций Мат. заметки, 27, № ...
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.