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

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4
Цитированных статей: 2
Ссылок в Math-Net.Ru: 5

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

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

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

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