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

СЕМИНАРЫ


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

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