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