Н. А. Баженов (выступает), М. Вроцлавский, Д. Калочинский
О пунктуальных представлениях для деревьев и модальных алгебр
Архив семинара
Р. А. Корнев
Группа вычислимых автоморфизмов порядка ($R, <$) (продолжение).
Р. А. Корнев
Группа вычислимых автоморфизмов порядка ($R, <$) (продолжение).
Р. А. Корнев
Группа вычислимых автоморфизмов порядка ($R, <$).
П. Е. Алаев
Существование примитивно рекурсивных структур (продолжение).
П. Е. Алаев
Существование примитивно рекурсивных структур (продолжение).
П. Е. Алаев
Существование примитивно рекурсивных структур (продолжение).
Информация о семинаре
Секретарь семинара:
П. Е. Алаев
Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ
