Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Селиванов В.Л. [1991] Toнкaя иepapхия фopмyл Aлгебpa и лoгикa, 30, № 5, 568-582 92.11.72 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1988] Иepapхия Еpшoвa и Т -скaчoк Aлгeбpa и лoгикa, 27, № 4, 464 -478 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [2004] Разностная иерархия в φ-пространствах Алгебра и логика, 43, № 4, 425-444 05.07.80 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1999] Утoнчeния пoлинoмиaльнoй иepapxии Алгебра и логика, 38, № 4, 456-475 00.03.77 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1987] Гpyппы aвтoмopфизмoв нумepoвaнных мнoжeств Мaт. зaметки, 4l, № 4, 592-597 87.08.203 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1988] Об алгopитмическoй слoжнoсти aлгeбpaических систем Мaт. зaметки, 44, № 6, 823-832 89.05.39 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1983] Иepapxии гипеpapифмeтических множeств и фyнкций Aлгебpa и лoгикa, 22, № 6, 666-692 84.11.20 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1985] Об иерархии Ершова Сибирск. матем. журнал, 26, № 1, 134-149 85.07.71 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1976] О нумерациях семейств общерекурсивных функций Алгебра и логика, 15, № 2, 205-226 76.11.84 EG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1986] О табличных сводимостях индексных множеств Сибирск. матем. журнал, деп. № 4682-В 86.10.50 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1982] О стpyктype степеней oбoбщенных индeксных мнoжеств Aлгe6pa и лoгикa, 21, № 4 ,472-491 83.11.327 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1976] Две теоремы о вычислимых нумерациях Алгебра и логика, 15, № 4, 470- 484 77.07.48 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1991] Скaчки нeкoтopых клaссoв Δ 2 0 -мнoжеств Мaт. зaметки, 50, № 6, 122-125 92.06.53 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1990] Индeкcныe мнoжествa клaссoв гипepгипеpпpoстыx мнoжеств Aлгебpa и лoгикa, 29, № 2, 220-240 91.04.75 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1984] Об иepapxии пpeдельных вычислений Сибирск. матем. журнал, 25, № 5, 146-156 85.02.61 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1988] Индeксныe мнoжествa фaктop-oбъектoв нyмepaции Пoстa Aлгeбpa и лoгикa, 27, № 3, 343-358 89.05.40 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [2004] Булевы иерархии разбиений над редуцируемой базой Алгебра и логика, 43, № 1, 77-109 04.11.136 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1991] Toнкиe иepapхии и oпpеделимые индексныe мнoжествa Aлгeбpa и лoгикa, 30, № 6, 705-725 93.05.119 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1992] Пpедпoлныe нyмepaции и функuии бeз нeпoдвижных тoчек Maт. зaмeтки, 51, № 1, l49-155 92.09.61 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [2005] Вариации на тему сводимости Вэджа Матем. труды, 8, № 1, 135-175, ИСИ СО РАН 05.12.506 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1984] Индексныe мнoжествa в гипеpapифметиuескoй иеpapхии Сибирск. матем. журнал, 25, № 3, 1б4-l81 84.10.34 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1982] Об индeксных мнoжествaх в иеpapxии Клини-Мoстoвскoгo Tpуды ИМ СО АН СССР, .2, 135-158 84.01.58 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1979] О стpyктype степeней неpазpешимoсти индексныx мнoжеств Алгебpa и лoгикa, 18, № 4, 4б3-480 80.07.32 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [2005] О классификации счетных булевых термов Алгебра и логика, 44, № 2, 173-197. 06.07.65 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [2002] О pазpeшимoсти клaссoв иеpapхий peryляpныx aпepиoдичeских языкoв Алгебра и логика, 4l, № 5, б10-631 03.Г11.174 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1977] О нyмepaцияx кaнoничeски вычислимых семeйств кoнечныx мнoжeств Сибирск. матем. журнал, 18, № 6, l373-1381 78.06.66 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В. Л. [1978] Об индексных множествах классов нумераций Вероят. методы и кибернетика, Казань, Из-во КГУ, № 14, 90-103 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [2007] Фактор алгебра размеченных лесов по отношению h -эквивалентности Алгебра и логика, 46, № 2, 217-243 07.ВН11.257 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1989] Пpимeнeния пpeдпoлных нyмepauий к степеням тaбличнoгo типa и индекcным множеcтвaм Aлгебpa и лoгикa, 28, № 1, 75-82 90.01.39 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1978] Hескoлькo зaмечaний o клaссaх peкypсивнo пеpечислимых мнoжеств Сибирск. матем. журнал, 19, № l, l53-161 78.06.67 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1976] О вьrчислимoсти некoтopых клaссoв нyмеpaций Вероят. методы и кибернетика, Кaзaнь, Из-вo КГУ, № 12-13, 157-170 78.В8.583 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1989] Тонкие иерархии арифметических множеств и определимые индексные множества Труды ИМ СО АН СССР, 12, 165-185 90.03.43 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1978] Об индексныx мнoжествaх вычислимых клaссoв конечных множеств Сб. Алгоритмы и автоматы, Кaзaнь, Из-вo КГУ, 95-99 79.09.54 OS статья Вернуться к ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1983] Эффективные aналoги A -, B - и C -мнoжеств и их пpимeнeния к индeксньм мнoжествaм Вероят. методы и кибернетика, Казань, Из-во КГУ, № 19, 112-128 83....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Селиванов В.Л. [1982] Об одном классе сводимостей в теории рекурсивных функций Вероят. методы и кибернетика, Казань, Из-во КГУ, № 18, 83-101 83.В2.584 OS статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Одинцов С.П., Селиванов В.Л. [1989] Арифметическая иерархия и идеалы нумерованных булевых алгебр Сибирск. матем. журнал, 30, № 6, 140-149 90.08.260 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Кудинов О.В., Селиванов В.Л., Ярцева Л.В. [2010] Определимость в структуре слов с отношением включения Сибирский матем. журнал, 51, № 3, 575-583 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.С Савельев А.А. Савкова М.И. Сакунова Е.С. Селиванов В.Л. Семенов А.Л. Скордев Д. Смальян Р. Соар Р. Соколов В.А. Соловьев В.Д. Соломон Д. Р. Солон Б.Я. Сорби А. Стукачев А.И. Судоплатов С.В. Вернуться на ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Березнюк С.Л., Гайлит М.В. [1996] Обобщение теоремы Селиванова Сибирск. матем. журнал, 37, № 3, 506-518 97.03.150 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.