Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Григорьев Семён Вячеславович https://www.mathnet.ru/rus/person123785 Список публикаций на Google Scholar 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     Организации Санкт-Петербургский государственный университет