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