Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Одинцов С. П. [1984] Безатомные идеалы конструктивных булевых алгебр Алгебра и логика, 23, № 3, 278-295 85.03.299 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Одинцов С. П. [1992] Наследственные рекурсивно перечислимые подалгебры рекурсивной булевой алгебры Алгебра и логика, 31, № 1, 38-46 93.06.45 G статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Одинцов С. П. [1986] Решетка рекурсивно перечислимых подалгебр рекурсивной булевой алгебры Алгебра и логика, 25, № 6, 631-642 88.12.35 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Одинцов С. П. [1988] О рекурсивных булевых алгебрах с гипергипериммунным множеством атомов Мат. заметки, 44, № 4, 488-493 89.05.191 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Одинцов С. П. [1989] О связи между относительно конструктивными системами и традиционными подходами Вычис. системы, 129, 172-182, Новосибирск 90.ВН9.69 G статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Одинцов С.П., Селиванов В.Л. [1989] Арифметическая иерархия и идеалы нумерованных булевых алгебр Сибирск. матем. журнал, 30, № 6, 140-149 90.08.260 G статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.О Овчинникова Е.В. Одинцов С. П. Олейникова Е.Н. Оманадзе Р.Ш. Оревков В.П. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.