|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2016 |
| 1. |
М. И. Полубелова, С. В. Григорьев, “Лексический анализ динамически формируемых строковых выражений”, Системы и средства информ., 26:2 (2016), 43–62    |
| 2. |
M. I. Polubelova, S. N. Bozhko, S. V. Grigorev, “Certified grammar transformation to Chomsky normal form in F*”, Труды ИСП РАН, 28:2 (2016), 127–138 |
|
2014 |
| 3. |
С. В. Григорьев, Е. А. Вербицкая, М. И. Полубелова, А. В. Иванов, Е. В. Мавчун, “Инструментальная поддержка встроенных языков в интегрированных средах разработки”, Модел. и анализ информ. систем, 21:6 (2014), 131–143 |
|
