Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Дегтев А.Н. [1995] О соотношениях между полными множествами, 2 Изв. Вузов. Мат., № 3, 8-14 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [2005] Об обобщениях понятия полурекурсивности Дискрет. мат. , 17, № 2, 144-149 05.Г11.131 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1980] О сводимости нумераций Мат. сборник, 112, № 2, 207-219 80.10.33 S статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1998] Рекурсивно перечислимые множества и сводимости табличного типа М., Наука 02.06.57 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1996] Импликативно селекторные множества Алгебра и логика, 35, № 2, 145-153 97.08.73 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [2001] О p -сводимости вычислимых нумераций Мат. заметки, 69, № 1, 31-35 01.12.108 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н., Захаров Д.А. [1979] Перечислимые множества Новосибирск, Из-во НГУ ? книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1973] О tt - и m -степенях Алгебра и логика, 12 , № 2, 143-161 74.02.63 EOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1981] Об ( m , n )-вычислимых множествах Сб. Алгебраические системы, Иваново, 88-99 83.04.40 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1999] Почти полурекурсивные множества Мат. заметки, 66, № 2, 188-193 00.02.62 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1988] Перечислимые множества и сводимости Тюмень, Из-во ТюмГУ ? книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1972] Об m -степенях простых множеств Алгебра и логика, 11, № 2, 130-139 72.11.36 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1978] Об m -степенях надмножеств простых множеств Мат. заметки, 23, № 6, 889-893 78.12.65 S статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1989] Об одном вопросе П. Одифредди Сибирск. матем. журнал, 30, № 1, 185-187 89.06.46 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1993] О кратной позитивной сводимости Сибирск. матем. журнал, 34, № 2, 74-76 93.10.94 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [2000] Почти комбинаторно селекторные множества Мат. заметки, 68, № 6, 851-853 01.7Г.129 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1985] О полурешетках дизъюнктивных и линейных степеней Мат. заметки, 38, № 2, 310-316 85.12.293 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1984] Об одной категории нумерованных множеств Мат. заметки, 36, № 2, 261-268 85.01.56 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1972] Наследственные множества и табличная сводимость Алгебра и логика, 11, № 3, 257-269 73.03.76 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1993] О пересечении некоторых классов сводимостей Дискрет. мат. , 5, № 4, 24-28 94.Г4.103 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1975] Сводимость частично рекурсивных функций , I Сибирск. матем. журнал, 16, № 5, 970-988 76.04.54 S статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1983] Соотношения между сводимостями табличного типа Алгебра и логика, 22, № 3, 243-259 84.07.56 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1971] О гиперпростых множествах с ретрассируемыми дополнениями Алгебра и логика, 10, № 3, 235-246 72.01.104 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1983] Соотношения между степенями табличного типа Алгебра и логика, 22, № 1, 35-52 84.04.53 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1978] Три теоремы о tt -степенях. Алгебра и логика, 17, № 3, 270-281 79.05.71 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1977] Об одном семействе максимальных подалгебр алгебры Р.Робинсона Мат. заметки, 22, № 4, 511-516 78.08.80 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1990] Слабые комбинаторно-селекторные свойства подмножеств натуральных чисел Алгебра и логика, 29, № 4, 421-429 91.07.58 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1990] Рекурсивно комбинаторные свойства подмножеств натуральных чисел Алгебра и логика, 29, № 3, 303-314 91.Г5.297 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1980] Об одной категории частично рекурсивных функций Сибирск. матем. журнал, 21, № 3, 89-97 80.10.38. статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1991] О полурешетке вычислимых семейств рекурсивно перечислимых множеств Мат. заметки, 50, № 4, 61-66 92.05.55 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1977] Сводимость частично рекурсивных функций, II Сибирск. матем. журнал, 17, № 4, 765-774 78.02.45 S статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1976] О минимальных 1-степенях и табличной сводимости Сибирск. матем. журнал, 17, № 5, 1014-1022 77.03.54 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1987] О вычислимых нумерациях, к которым позитивно сводимы невычислимые Мат. заметки, 42, № 3, 723-728 88.03.53 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1970] Несколько замечаний о ретрассируемых, регрессивных и точечно- разложимых множествах Алгебра и логика, 9, № 6, 651-660 71.07.71 OS статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1981] Соотношения между полными множествами Изв. Вузов. Мат., № 5, 50-55 81.10.35 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н., Иванов Д.И. [1998] Слабо комбираторно-селекторные множества Алгебра и логика, 37, № 6, 627-636 99.06.84 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1988] О некоторых решеточно-инвариантных свойствах семейств рекурсивно перечислимых множеств Алгебра и логика, 27, № 5, 527-534. 89.09.57 статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1982] Сравнение линейной сводимости с другими сводимостями табличного типа Алгебра и логика, 21, № 5, 511-529 83.09.35 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1976] Некоторые классы гипериммунных множеств Сб. Алгебраические системы, Иркутск, Из-во ИрГУ, 21-36 77.02.47 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н., Сакунова Е.С. [2006] О сводимостях частично-рекурсивных функций Сибирск. матем. журнал, 41, № 6, 1345-1349 01.05.75 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1976] О частично-упорядоченных множествах 1-степеней, содержащихся в рекурсивно перечислимых m -степенях Алгебра и логика, 15, № 3, 249-266 77....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1979] Несколько результатов о верхних полурешетках и m -степенях Алгебра и логика, 18, № 6, 664-679 80.09.295 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н., Иванов Д.И. [1999] Слабо комбинаторные селекторные мнжества размерности 3 Дискрет. мат. , 11, № 3, 126-132 00.В3.239 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1979] О сводимостях табличного типа в теории алгоритмов Успехи мат. наук, 34, № 3, 137-168 79.10.44 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н., Платонов М.А. [2008] О e -главных нумерациях Сибирск. матем. журнал, 49, № 2, 299-307 08.10.136 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дегтев А.Н. [1978] Разрешимость ∀∃-теории некоторой фактор решетки рекурсивно перечислимых множеств Алгебра и логика, 17, № 12, 134-143 78.11.40 OS статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Д Дворников С.Г. Дегтев А.Н. Денисов С.Д. Джеффри Р. Дзгоев В.Д. Дичев А. Добрица В.П. Доуни Р. Драгалин А.Г. Дроботун Б.Н. Дурнев В.Г. Душский В.А. Дымент Е.З. Вернуться на ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.