Семинары: М. Р. Пентус, Лекция 9. Завершение доказательства критерия выводимости для $L^*(\backslash,/)$

СЕМИНАРЫ


Спецкурс «Сложность исчисления Ламбека» 23 ноября 2018 г. 16:45, г. Москва, механико-математический факультет МГУ

Лекция 9. Завершение доказательства критерия выводимости для $L^(\backslash,/)$ М. Р. Пентус Московский государственный университет имени М. В. Ломоносова, механико-математический факультет*
Аннотация: Полнота $L^*(\backslash,/)$ относительно сетей доказательства.