RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Божко Сергей Николаевич
Публикации в базе данных Math-Net.Ru
Certified grammar transformation to Chomsky normal form in F*
Труды ИСП РАН
,
28
:2 (2016),
127–138
©
МИАН
, 2024