Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Polubelova, Marina Igorevna

Statistics Math-Net.Ru
Total publications: 3
Scientific articles: 3

Number of views:
This page:186
Abstract pages:640
Full texts:796
References:131
E-mail:

https://www.mathnet.ru/eng/person106828
List of publications on Google Scholar
List of publications on ZentralBlatt

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  mathnet  mathscinet  elib
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  mathnet  elib
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  mathnet

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024