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

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

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

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

Публикации в базе данных Math-Net.Ru
2019
1. S. A. Nigiyan, “$\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments”, Уч. записки ЕГУ, сер. Физика и Математика, 53:3 (2019),  191–202  mathnet
2018
2. S. A. Nigiyan, “On interpretation of typed and untyped functional programs”, Уч. записки ЕГУ, сер. Физика и Математика, 52:2 (2018),  119–133  mathnet
2017
3. S. A. Nigiyan, T. V. Khondkaryan, “On translation of typed functional programs into untyped functional programs”, Уч. записки ЕГУ, сер. Физика и Математика, 51:2 (2017),  177–186  mathnet
4. 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
5. S. A. Nigiyan, “On $\lambda$-definability of arithmetical functions with indeterminate values of arguments”, Уч. записки ЕГУ, сер. Физика и Математика, 2016, 2,  39–47  mathnet
2015
6. S. A. Nigiyan, “On non-classical theory of computability”, Уч. записки ЕГУ, сер. Физика и Математика, 2015, 1,  52–60  mathnet

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