RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Нигиян Семен Александрович

В базах данных Math-Net.Ru
Публикаций: 5
Научных статей: 5

Статистика просмотров:
Эта страница:305
Страницы публикаций:459
Полные тексты:141
Списки литературы:151
профессор
доктор физико-математических наук (1997)
E-mail:

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

Публикации в базе данных Math-Net.Ru
2018
1. S. A. Nigiyan, “On interpretation of typed and untyped functional programs”, Уч. записки ЕГУ, сер. Физика и Математика, 52:2 (2018),  119–133  mathnet
2017
2. S. A. Nigiyan, T. V. Khondkaryan, “On translation of typed functional programs into untyped functional programs”, Уч. записки ЕГУ, сер. Физика и Математика, 51:2 (2017),  177–186  mathnet
3. S. A. Nigiyan, T. V. Khondkaryan, “On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms”, Уч. записки ЕГУ, сер. Физика и Математика, 51:1 (2017),  46–52  mathnet
2016
4. S. A. Nigiyan, “On $\lambda$-definability of arithmetical functions with indeterminate values of arguments”, Уч. записки ЕГУ, сер. Физика и Математика, 2016, 2,  39–47  mathnet
2015
5. S. A. Nigiyan, “On non-classical theory of computability”, Уч. записки ЕГУ, сер. Физика и Математика, 2015, 1,  52–60  mathnet

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