RUS
ENG
Full version
PEOPLE
Grigorev S V
Publications in Math-Net.Ru
Certified grammar transformation to Chomsky normal form in F*
Proceedings of ISP RAS
,
28
:2 (2016),
127–138
©
Steklov Math. Inst. of RAS
, 2024
