Pentus Mati Reinovich

Presentations in Math-Net.Ru

1. Lecture 12. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   May 21, 2024 18:00   
2. Lecture 11. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   April 23, 2024 18:00   
3. Lecture 10. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   April 16, 2024 18:00   
4. Lecture 9. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   April 9, 2024 18:00   
5. Lecture 8. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   April 2, 2024 18:00   
6. Lecture 7. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   March 26, 2024 18:00   
7. Lecture 6. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   March 19, 2024 18:00   
8. Lecture 5. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   March 12, 2024 18:00   
9. Lecture 4. Context-free languages
   M. R. Pentus
   Course by M. R. Pentus "Context-free languages"
   March 5, 2024 18:00   
10. Lecture 3. Context-free languages
    M. R. Pentus
    Course by M. R. Pentus "Context-free languages"
    February 27, 2024 18:00   
11. Lecture 2. Context-free languages
    M. R. Pentus
    Course by M. R. Pentus "Context-free languages"
    February 20, 2024 18:00   
12. Lecture 1. Context-free languages
    M. R. Pentus
    Course by M. R. Pentus "Context-free languages"
    February 13, 2024 18:00   
13. Lambek Syntactic Calculus
    M. R. Pentus
    Seminar by S. L. Kuznetsov and S. O. Speranski "Logical and algebraic methods in linguistics"
    February 15, 2023 18:00   
14. Lecture 10. A derivability criterion for $L^*(\backslash,/,\cdot)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    December 7, 2018 16:45   
15. Lecture 9. The final part of the proof of the derivability criterion for $L^*(\backslash,/)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    November 23, 2018 16:45   
16. Lecture 8. The first part of the proof of the derivability criterion for $L^*(\backslash,/)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    November 16, 2018 16:45   
17. Lecture 7. The formulation of a derivability criterion for $L^*(\backslash,/)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    November 9, 2018 16:45   
18. Lecture 6. A fast algorithm for the search of a proof net for $L(\backslash)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    November 2, 2018 16:45   
19. Lecture 5. The final part of the proof of the derivability criterion for $L(\backslash)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    October 26, 2018 16:45   
20. Lecture 4. The second part of the proof of the derivability criterion for $L(\backslash)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    October 19, 2018 16:45   
21. Lecture 3. The first part of the proof of the derivability criterion for $L(\backslash)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    October 12, 2018 16:45   
22. Lecture 2. Characterization of derivability for $L(\backslash)$
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    October 5, 2018 16:45   
23. Lecture 1. The Lambek calculus
    M. R. Pentus
    Special course "Complexity of the Lambek calculus"
    September 21, 2018 16:45
24. Complexity of the Lambek calculus and its fragments
    Mati Pentus
    The eighth International сonference "Advances in Modal Logic" (AiML 2010)
    August 27, 2010 10:45