Seminars: M. R. Pentus, Lecture 6. A fast algorithm for the search of a proof net for $L(\backslash)$

SEMINARS


Special course "Complexity of the Lambek calculus" November 2, 2018 16:45, Moscow

Lecture 6. A fast algorithm for the search of a proof net for $L(\backslash)$ M. R. Pentus Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract: A deterministic polynomial algorithm for the search of a proof net for $L(\backslash)$.