Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Крюкова Анастасия Евгеньевна
В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:166
Страницы публикаций:416
Полные тексты:154
Списки литературы:72
E-mail: ,

https://www.mathnet.ru/rus/person55257
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2011
1. Д. А. Стефанцов, А. Е. Крюкова, “Денотационное описание языка AspectTalk”, ПДМ, 2011, № приложение к № 4,  61–62  mathnet
2010
2. Д. А. Стефанцов, А. Е. Крюкова, “Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk”, ПДМ, 2010, № приложение к № 3,  84–85  mathnet 1

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024