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

СЕМИНАРЫ


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

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