Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Оманадзе Р.Ш. [1978] О сводимостях на классе рекурсивно перечислимых множеств Сооб. АН ГССР, 91, № 3, 549-552 79.04.84 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1999] О некоторых сводимостях и разбиениях рекурсивно перечислимых множеств Мат. заметки, 66, № 2, 220-230 00.02.61 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1989] Классы рекурсивно перечислимых множеств и Q -сводимость Мат. заметки, 45, № 2, 79-82 89.06.45 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [2000] Сложностные свойства рекурсивно перечислимых множеств и bsQ -сводимость Мат. заметки, 68, № 4, 554-559 01.05.78 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1994] Соотношения между некоторыми сводимостями Алгебра и логика, 33, № 6, 681-688 95.08.77 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1976] Об одном виде сводимости Сооб. АН ГССР, 83, № 2, 281-284 77.03.60 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1987] Q -сводимость и нигде непростые множества Сооб. АН ГССР, 127, №1, 29-32 88.01.37 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1988] О плотности неускоряемых Q -степеней Сооб. АН ГССР, 131, № 3, 485-488 89.06.43 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1979] О Q -сводимости Сооб. АН ГССР, 95, № 1, 29-32 80.03.27 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1976] О полноте рекурсивно перечислимых множеств Сооб. АН ГССР, 81, № 3, 529-532 76.10.38 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1995] Об одном усилении Q -сводимости Алгебра и логика, 34, № 1, 79-87 95. 09. 33 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1980] Об ограниченной Q -сводимости Сооб. АН ГССР, 100, № 1, 57-60 81.05.54 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [2002] Мажорные множества, классы простых множеств и Q -полные множества Мат. заметки, 71, № 1, 100-108 02.08.34 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1987] О Q -степенях неускоряемых множеств Тр. ИПМ Тбил. ун-та, 20, 21-31 87.12.32 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1992] Сложностные свойств рекурсивно перечислимых множеств и sQ -полнота Сооб. АН ГССР, 146 , № 1, 9-12 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1991] О верхней полурешетке рекурсивно перечислимых sQ -степеней Алгебра и логика, 30, № 4, 405-413 92.09.62 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1991] Об одном усилении Q -сводимости Сооб. АН ГССР, 142, № 3, 481-483 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1978] О некоторых обобщениях понятия продуктивного множества Изв. Вузов. Мат., № 9 , 84-88 79.03.41 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1990] Соотношения между некоторыми сводимостями Сооб. АН ГССР, 140, № 3, 473-476 ? статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1984] О верхней полурешетке рекурсивно перечислимых Q -степеней Алгебра и логика, 23, № 2, 175-184 85.02.56 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1997] Сложностные свойств рекурсивно перечислимых множеств и sQ -полнота Мат. заметки, 62, № 3, 425-429 98.06.143 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Оманадзе Р.Ш. [1992] sQ -полнота рекурсивно перечислимых множеств Мат. заметки, 52, № 3, 102-107 93.04.53 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.О Овчинникова Е.В. Одинцов С. П. Олейникова Е.Н. Оманадзе Р.Ш. Оревков В.П. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.