С. А. Александрова
Реферат статьи:
D. Cenzer, R. Krogman
The Isomorphism Problem for FST Injection Structures (продолжение).
Архив семинара
С. А. Александрова
Реферат статьи:
D. Cenzer, R. Krogman
"The Isomorphism Problem for FST Injection Structures".
А. В. Нечёсов
Полиномиальная вычислимость в семантическом программировании (продолжение).
А. В. Нечёсов
Полиномиальная вычислимость в семантическом программировании.
М. И. Марчук, совместно с Н. А. Баженовым
О спектрах разрешимой категоричности для почти простых моделей (продолжение).
М. И. Марчук, совместно с Н. А. Баженовым
О спектрах разрешимой категоричности для почти простых моделей.
Е. И. Хлестова
Реферат статьи:
Robert C. Reed
A decidable Ehrenfeucht theory with exactly two hyperarithmetical models (продолжение).
Информация о семинаре
Секретарь семинара:
П. Е. Алаев
Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ
