Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Дымент Е.З. [1976] О некоторых свойствах решетки Медведева Мат. сборник, 101, № 3, 360-379 77.03.55 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дымент Е.З. [1977] Две теоремы о конечных объединениях регрессивных иммунных множеств Мат. заметки, 21, № 2, 259-269 77.07.52 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дымент Е.З. [1984] О райсовых нумерациях Мат. заметки, 36, № 5, 635-646 85.04.46 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дымент Е.З. [1983] Об m -сводимости Λ-последовательностей по отделимости Сибирск. матем. журнал, деп. № 83.7.54 83.07.54 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дымент Е.З. [1977] Одна теорема о надмножествах рекурсивно перечислимых множеств Сибирск. матем. журнал, 18, № 2, 462-464 77.10.32 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Дымент Е.З. [1980] Сильная теорема об иерархии для классов множеств Изв. Вузов. Мат., деп. № 1451-81 81.07.17 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.... Дворников С.Г. Дегтев А.Н. Денисов С.Д. Джеффри Р. Дзгоев В.Д. Дичев А. Добрица В.П. Доуни Р. Драгалин А.Г. Дроботун Б.Н. Дурнев В.Г. Душский В.А. Дымент Е.З. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.