Семинары: М. Р. Пентус, Лекция 6. Быстрый алгоритм поиска сети доказательства для $L(\backslash)$

СЕМИНАРЫ


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

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