|
|
Publications in Math-Net.Ru |
Citations |
|
2016 |
1. |
M. I. Polubelova, S. V. Grigorev, “Lexical analysis of dynamically generated string expressions”, Sistemy i Sredstva Inform., 26:2 (2016), 43–62 |
2. |
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 |
|
2014 |
3. |
S. Grigorev, E. Verbitskaia, M. Polubelova, A. Ivanov, E. Mavchun, “IDE support of string-embedded languages”, Model. Anal. Inform. Sist., 21:6 (2014), 131–143 |
|
Organisations |
|
|