М. Н. Холов
Реферат статьи: Pillay A., Tanovic P.
"The number of countable models of first-order theories" (часть 2).
Архив семинара
М. Н. Холов
Реферат статьи: Pillay A., Tanovic P.
"The number of countable models of first-order theories".
А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (часть 4).
А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (часть 3).
А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (продолжение).
А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds".
Е. И. Хлестова
Сложность предельных моделей эренфойхтовых теорий.
Информация о семинаре
Секретарь семинара:
П. Е. Алаев
Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ
