Шехтман Валентин Борисович
пользователь
доктор физико-математических наук с 2000 года
доцент/с.н.с. по специальности № математика с 14 мая 2001 г.
Количество цитирований статей в журналах по данным
Web of Science: 67,
Scopus: 182
РИНЦ:
IstinaResearcherID (IRID): 8017817
Деятельность
-
Статьи в журналах
-
Статьи в сборниках
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
1995
Algorithmic aspects of propositional tense logics
-
Chagrov Alexander,
Shehtman Valentin
-
в сборнике Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, серия Lecture Notes in Computer Science, место издания Springer, том 933, с. 442-455
DOI
-
-
-
-
-
-
-
Книги
-
Доклады на конференциях
-
Тезисы докладов
-
-
-
-
-
-
1987
On Some Two-Dimensional Modal Logics
-
Shehtman Valentin
-
в сборнике Logic, Methodology and Philosophy of Science. Proceedings of the 8th International Congress (Moscow 1987), серия ICLMPS, издательство ELSEVIER INC (525 B STREET, STE 1900, SAN DIEGO, USA, CA,92101-4495), том 4, тезисы, с. 326-330
-
НИРы
-
-
1 января 2021 - 31 декабря 2025
Алгоритмические и семантические вопросы математической логики. 2021-2025
-
Кафедра математической логики и теории алгоритмов
-
Руководитель:
Семенов А.Л.
Ответственные исполнители:
Золин Е.Е.,
Оноприенко А.А.,
Пентус М.Р.
Участники НИР:
Беклемишев Л.Д.,
Белов А.Я.,
Верещагин Н.К.,
Крупский В.Н.,
Кузнецов С.Л.,
Любецкий В.А.,
Плиско В.Е.,
Сорокин А.А.,
Шехтман В.Б.,
Яворская Т.Л.
-
-
1 января 2016 - 31 декабря 2020
Алгоритмические и семантические вопросы математической логики. 2016-2020
-
Кафедра математической логики и теории алгоритмов
-
Руководители:
Семенов А.Л.,
Успенский В.А.
Ответственные исполнители:
Золин Е.Е.,
Пентус М.Р.
Участники НИР:
Адян С.И.,
Беклемишев Л.Д.,
Верещагин Н.К.,
Крупский В.Н.,
Кузнецов С.Л.,
Любецкий В.А.,
Плиско В.Е.,
Семенов А.Л.,
Сорокин А.А.,
Шехтман В.Б.,
Яворская Т.Л.
-
-
-
-
-
-
Участие в редколлегии журналов
-
Участие в редколлегии сборников
-
Участие в программных комитетах конференций
-
Руководство диссертациями
-
Диссертации
-
Руководство дипломными работами
-
Авторство учебных курсов
-
Преподавание учебных курсов