А. М. Петренко
Реферат статьи: 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, ИМ
