RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Pentus, Mati Reinovich

Statistics Math-Net.Ru
Total publications: 10
Scientific articles: 9
Presentations: 15

Number of views:
This page:1614
Abstract pages:6728
Full texts:1276
References:219
Professor
Doctor of physico-mathematical sciences (2000)
Website: http://lpcs.math.msu.su/~pentus/
Keywords: mathematical logic, proof theory, formal languages.

http://www.mathnet.ru/eng/person20343
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/341304
http://elibrary.ru/author_items.asp?authorid=195
ISTINA http://istina.msu.ru/workers/1545603
http://orcid.org/0000-0002-9483-7594
http://www.researcherid.com/rid/K-2779-2018
http://www.scopus.com/authid/detail.url?authorId=16414824700

Publications in Math-Net.Ru
2016
1. A. E. Pentus, M. R. Pentus, “The atomic theory of division and intersection of semiring ideals”, Fundam. Prikl. Mat., 21:1 (2016),  181–191  mathnet  mathscinet; J. Math. Sci., 233:5 (2018), 724–731  scopus
2012
2. 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  mathnet; J. Math. Sci., 193:4 (2013), 566–579  scopus
2009
3. A. E. Pentus, M. R. Pentus, “The atomic theory of multiplication and division of semiring ideals”, Fundam. Prikl. Mat., 15:2 (2009),  169–189  mathnet  mathscinet; J. Math. Sci., 167:6 (2010), 841–856  scopus
2006
4. A. E. Pentus, M. R. Pentus, “The atomic theory of division of semiring ideals”, Fundam. Prikl. Mat., 12:2 (2006),  201–208  mathnet  mathscinet  zmath; J. Math. Sci., 149:2 (2008), 1176–1181  scopus
2004
5. A. E. Pentus, M. R. Pentus, “Object-oriented representation of hierarchical graphs”, Fundam. Prikl. Mat., 10:4 (2004),  159–170  mathnet  mathscinet  zmath; J. Math. Sci., 140:2 (2007), 286–294  scopus
2000
6. A. E. Pentus, M. R. Pentus, “Object-oriented representation of hierarchical Petri nets”, Fundam. Prikl. Mat., 6:3 (2000),  831–840  mathnet  mathscinet  zmath
7. M. R. Pentus, “Atomic theories of residuated semigroup families”, Fundam. Prikl. Mat., 6:2 (2000),  627–632  mathnet  mathscinet  zmath
1999
8. M. R. Pentus, “Completeness of the Lambek syntactic calculus”, Fundam. Prikl. Mat., 5:1 (1999),  193–219  mathnet  mathscinet  zmath
1995
9. M. R. Pentus, “Lambek calculus and formal grammars”, Fundam. Prikl. Mat., 1:3 (1995),  729–751  mathnet  mathscinet  zmath

2006
10. 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  mathnet  mathscinet  zmath  elib; Russian Math. Surveys, 61:3 (2006), 575–588  isi

Presentations in Math-Net.Ru
1. Lecture 10. A derivability criterion for $L^*(\backslash,/,\cdot)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
December 7, 2018 16:45   
2. 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   
3. 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   
4. 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   
5. 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   
6. 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   
7. 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   
8. 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   
9. Lecture 2. Characterization of derivability for $L(\backslash)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
October 5, 2018 16:45   
10. Lecture 1. The Lambek calculus
M. R. Pentus
Special course "Complexity of the Lambek calculus"
September 21, 2018 16:45
11. Межфакультетский курс «Категориальные грамматики». Лекция 11
M. R. Pentus

April 27, 2016 17:00   
12. Межфакультетский курс «Категориальные грамматики». Лекция 8
M. R. Pentus, S. L. Kuznetsov

April 6, 2016 17:00   
13. Межфакультетский курс «Категориальные грамматики». Лекция 7
M. R. Pentus

March 30, 2016 17:00   
14. Межфакультетский курс «Категориальные грамматики». Лекция 6
S. L. Kuznetsov, M. R. Pentus

March 23, 2016 17:00   
15. 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
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019