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

Statistics Math-Net.Ru
Total publications: 10
Scientific articles: 9
in MathSciNet: 8
in zbMATH: 7
in Web of Science: 1
in Scopus: 4
Cited articles: 4
Citations in Math-Net.Ru: 7
Presentations: 5

Number of views:
This page:1075
Abstract pages:5938
Full texts:1044
References:168
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
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=341304
http://elibrary.ru/author_items.asp?authorid=195

Publications in Math-Net.Ru
1. The atomic theory of division and intersection of semiring ideals
A. E. Pentus, M. R. Pentus
Fundam. Prikl. Mat., 21:1 (2016),  181–191
2. The atomic theory of left division of two-sided ideals of semirings with unit
A. E. Pentus, M. R. Pentus
Fundam. Prikl. Mat., 17:5 (2012),  129–146
3. The atomic theory of multiplication and division of semiring ideals
A. E. Pentus, M. R. Pentus
Fundam. Prikl. Mat., 15:2 (2009),  169–189
4. The atomic theory of division of semiring ideals
A. E. Pentus, M. R. Pentus
Fundam. Prikl. Mat., 12:2 (2006),  201–208
5. Object-oriented representation of hierarchical graphs
A. E. Pentus, M. R. Pentus
Fundam. Prikl. Mat., 10:4 (2004),  159–170
6. Object-oriented representation of hierarchical Petri nets
A. E. Pentus, M. R. Pentus
Fundam. Prikl. Mat., 6:3 (2000),  831–840
7. Atomic theories of residuated semigroup families
M. R. Pentus
Fundam. Prikl. Mat., 6:2 (2000),  627–632
8. Completeness of the Lambek syntactic calculus
M. R. Pentus
Fundam. Prikl. Mat., 5:1 (1999),  193–219
9. Lambek calculus and formal grammars
M. R. Pentus
Fundam. Prikl. Mat., 1:3 (1995),  729–751

10. Sergei Ivanovich Adian (on his 75th birthday)
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
Uspekhi Mat. Nauk, 61:3(369) (2006),  179–191

Presentations in Math-Net.Ru
1. Межфакультетский курс «Категориальные грамматики». Лекция 11
M. R. Pentus

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

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

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

March 23, 2016 17:00   
5. 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, 2017