Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Grigorev, S V
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page:
126
Abstract pages:
145
Full texts:
140
References:
33
https://www.mathnet.ru/eng/person123785
List of publications on Google Scholar
List of publications on ZentralBlatt
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
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024