Special course "Complexity of the Lambek calculus"

RUS ENG

SEMINARS

Special course "Complexity of the Lambek calculus"
Moscow

Website:

https://lpcs.math.msu.su/~pentus/spec2018w.htm

RSS: Forthcoming seminars

Special course "Complexity of the Lambek calculus", Moscow

Lecture 10. A derivability criterion for $L^*(\backslash,/,\cdot)$ M. R. Pentus December 7, 2018 16:45 Moscow
Lecture 9. The final part of the proof of the derivability criterion for $L^*(\backslash,/)$ M. R. Pentus November 23, 2018 16:45 Moscow
Lecture 8. The first part of the proof of the derivability criterion for $L^*(\backslash,/)$ M. R. Pentus November 16, 2018 16:45 Moscow
Lecture 7. The formulation of a derivability criterion for $L^*(\backslash,/)$ M. R. Pentus November 9, 2018 16:45 Moscow
Lecture 6. A fast algorithm for the search of a proof net for $L(\backslash)$ M. R. Pentus November 2, 2018 16:45 Moscow
Lecture 5. The final part of the proof of the derivability criterion for $L(\backslash)$ M. R. Pentus October 26, 2018 16:45 Moscow
Lecture 4. The second part of the proof of the derivability criterion for $L(\backslash)$ M. R. Pentus October 19, 2018 16:45 Moscow
Lecture 3. The first part of the proof of the derivability criterion for $L(\backslash)$ M. R. Pentus October 12, 2018 16:45 Moscow
Lecture 2. Characterization of derivability for $L(\backslash)$ M. R. Pentus October 5, 2018 16:45 Moscow
Lecture 1. The Lambek calculus M. R. Pentus September 21, 2018 16:45 Moscow

© Steklov Math. Inst. of RAS, 2024