Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Grigorev, S V https://www.mathnet.ru/eng/person123785 List of publications on Google Scholar https://orcid.org/0000-0002-7966-0698 Publications in Math-Net.Ru Citations 2016 1. M. I. Polubelova, S. N. Bozhko, S. V. Grigorev, “Certified grammar transformation to Chomsky normal form in F*”, Proceedings of ISP RAS, 28:2 (2016),  127–138     Organisations Saint Petersburg State University