Пентус Мати Рейнович
пользователь
доктор физико-математических наук с 2001 года
доцент по кафедре математической логики и теории алгоритмов с 16 февраля 2000 г.
Количество цитирований статей в журналах по данным
Scopus: 149,
Web of Science: 47
РИНЦ:
IstinaResearcherID (IRID): 1545603
-
Статьи в журналах
-
-
-
-
-
-
-
-
-
-
-
-
2006
Sergei Ivanovich Adian (on his 75th birthday)
-
Beklemishev L.D.,
Lysenok I.G.,
Mal'tsev A.A.,
Novikov S.P.,
Pentus M.R.,
Razborov A.A.,
Semenov A.L.,
Uspenskii V.A.
-
в журнале Russian Mathematical Surveys, издательство Turpion - Moscow Ltd. (United Kingdom), том 61, № 3, с. 575-588
-
-
-
2006
Сергей Иванович Адян (к 75-летию со дня рождения)
-
Беклемишев Л.Д.,
Лысенок И.Г.,
Мальцев А.А.,
Новиков С.П.,
Пентус М.Р.,
Разборов А.А.,
Семенов А.Л.,
Успенский В.А.
-
в журнале Успехи математических наук, издательство Наука (М.), том 61, № 3, с. 179-191
-
-
-
-
-
-
-
-
-
Статьи в сборниках
-
-
-
-
-
-
-
1997
Equivalence of multiplicative fragments of cyclic linear logic and noncommutative linear logic
-
Pentus Mati
-
в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 306-311
DOI
-
редактор
Адян Сергей Иванович
-
-
-
Книги
-
Доклады на конференциях
-
Тезисы докладов
-
НИРы
-
Стажировки в организациях
-
Участие в редколлегии журналов
-
Участие в программных комитетах конференций
-
Руководство диссертациями
-
Руководство дипломными работами
-
Руководство курсовыми работами
-
Авторство учебных курсов
-
Преподавание учебных курсов