|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
1. |
A. E. Pentus, M. R. Pentus, “Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening”, Fundam. Prikl. Mat., 23:4 (2021), 143–162 ; J. Math. Sci., 269:4 (2023), 544–557 |
|
2020 |
2. |
A. E. Pentus, M. R. Pentus, “Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening”, Fundam. Prikl. Mat., 23:2 (2020), 247–257 ; J. Math. Sci., 262:5 (2022), 759–766 |
1
|
|
2016 |
3. |
A. E. Pentus, M. R. Pentus, “The atomic theory of division and intersection of semiring ideals”, Fundam. Prikl. Mat., 21:1 (2016), 181–191 ; J. Math. Sci., 233:5 (2018), 724–731 |
|
2012 |
4. |
A. E. Pentus, M. R. Pentus, “The atomic theory of left division of two-sided ideals of semirings with unit”, Fundam. Prikl. Mat., 17:5 (2012), 129–146 ; J. Math. Sci., 193:4 (2013), 566–579 |
3
|
|
2009 |
5. |
A. E. Pentus, M. R. Pentus, “The atomic theory of multiplication and division of semiring ideals”, Fundam. Prikl. Mat., 15:2 (2009), 169–189 ; J. Math. Sci., 167:6 (2010), 841–856 |
|
2006 |
6. |
A. E. Pentus, M. R. Pentus, “The atomic theory of division of semiring ideals”, Fundam. Prikl. Mat., 12:2 (2006), 201–208 ; J. Math. Sci., 149:2 (2008), 1176–1181 |
3
|
|
2004 |
7. |
A. E. Pentus, M. R. Pentus, “Object-oriented representation of hierarchical graphs”, Fundam. Prikl. Mat., 10:4 (2004), 159–170 ; J. Math. Sci., 140:2 (2007), 286–294 |
|
2000 |
8. |
A. E. Pentus, M. R. Pentus, “Object-oriented representation of hierarchical Petri nets”, Fundam. Prikl. Mat., 6:3 (2000), 831–840 |
1
|
9. |
M. R. Pentus, “Atomic theories of residuated semigroup families”, Fundam. Prikl. Mat., 6:2 (2000), 627–632 |
|
1999 |
10. |
M. R. Pentus, “Completeness of the Lambek syntactic calculus”, Fundam. Prikl. Mat., 5:1 (1999), 193–219 |
2
|
|
1995 |
11. |
M. R. Pentus, “Lambek calculus and formal grammars”, Fundam. Prikl. Mat., 1:3 (1995), 729–751 |
4
|
|
|
|
2021 |
12. |
V. S. Atabekyan, L. D. Beklemishev, V. M. Buchstaber, S. S. Goncharov, V. S. Guba, Yu. L. Ershov, V. V. Kozlov, I. G. Lysenok, S. P. Novikov, Yu. S. Osipov, M. R. Pentus, V. V. Podolskii, A. A. Razborov, V. A. Sadovnichii, A. L. Semenov, A. L. Talambutsa, D. V. Treschev, L. N. Shevrin, “Sergei Ivanovich Adian (obituary)”, Uspekhi Mat. Nauk, 76:1(457) (2021), 191–194 ; Russian Math. Surveys, 76:1 (2021), 177–181 |
|
2019 |
13. |
S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Uspekhi Mat. Nauk, 74:4(448) (2019), 165–180 ; Russian Math. Surveys, 74:4 (2019), 735–753 |
1
|
|
2006 |
14. |
L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Uspekhi Mat. Nauk, 61:3(369) (2006), 179–191 ; Russian Math. Surveys, 61:3 (2006), 575–588 |
1
|
|
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. |
Межфакультетский курс «Категориальные грамматики». Лекция 11 M. R. Pentus
April 27, 2016 17:00
|
25. |
Межфакультетский курс «Категориальные грамматики». Лекция 8 M. R. Pentus, S. L. Kuznetsov
April 6, 2016 17:00
|
26. |
Межфакультетский курс «Категориальные грамматики». Лекция 7 M. R. Pentus
March 30, 2016 17:00
|
27. |
Межфакультетский курс «Категориальные грамматики». Лекция 6 S. L. Kuznetsov, M. R. Pentus
March 23, 2016 17:00
|
28. |
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
|
|
|
Organisations |
|
|
|
|