Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Григорьев Семён Вячеславович

В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

Статистика просмотров:
Эта страница:126
Страницы публикаций:145
Полные тексты:140
Списки литературы:33

https://www.mathnet.ru/rus/person123785
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0002-7966-0698

Публикации в базе данных Math-Net.Ru Цитирования
2016
1. M. I. Polubelova, S. N. Bozhko, S. V. Grigorev, “Certified grammar transformation to Chomsky normal form in F*”, Труды ИСП РАН, 28:2 (2016),  127–138  mathnet  elib

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024