Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары


Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
16 октября 2023 г. 18:30, г. Москва, Zoom 		 

Andrews skolemization may shorten proofs non-elementarily

M. Baaz

Vienna University of Technology
Видеозаписи:
MP4 235.8 Mb
Дополнительные материалы:
Adobe PDF 139.4 Kb

Количество просмотров:
Эта страница:79
Видеофайлы:22
Материалы:7



Аннотация: Joint work with Anela Lolic.

Дополнительные материалы: abstract_baaz.pdf (139.4 Kb)

Язык доклада: английский
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024