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

Статистика просмотров:
Эта страница:179
Страницы публикаций:429
Полные тексты:123
Списки литературы:94
E-mail:

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

Публикации в базе данных Math-Net.Ru Цитирования
2009
1. С. Р. Алексанян, А. А. Чубарян, “О полиномиальных ограничениях сложностей выводов в системах Фреге”, Сиб. матем. журн., 50:2 (2009),  243–249  mathnet  mathscinet; S. R. Aleksanyan, A. A. Chubaryan, “The polynomial bounds of proof complexity in Frege systems”, Siberian Math. J., 50:2 (2009), 193–198  isi  scopus 3
2007
2. S. R. Aleksanyan, “On proof normal forms for some systems of classical propositional logic”, Уч. записки ЕГУ, сер. Физика и Математика, 2007, № 1,  39–45  mathnet

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