Special course "Complexity of the Lambek calculus"
Moscow

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