Бюрократ, editor, nsBadRO, nsBadRW, nsDraftRO, nsDraftRW, reviewer, администратор
154 408
правок
Изменения
→Сочинения
*Нигиян С.А., Акопян Р.Ю., Будагян Л.Э. Об алгоритмах интерпретации строго типизированных функциональных программ. // Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки. – Ер.: Изд-во РАУ, 2008, с. 172-179
*Нигиян С.А., Хачоян Л.О., Нигиян А.В. К логической трактовке процедурного программирования. // Доклады НАН Армении, том 107, N1, 2007, c.20-25
*Нигиян С.А., Саркисян Л.А. Об SLDNF-резолюции в чистом логическом программировании с отрицанием. // Вестник РАУ, Серия физико-математические и естественные науки, N1 – Ер.: Изд-во РАУ, 2007, с.48-67
*Nigiyan S.A., Avetisyan S.A. On Procedural Semantics of Untyped Functional Progrаms. // Proceedings of the International Conference CSIT-07, Yerevan, 2007, p.60-62
*Нигиян С.А., Хачоян Л.О., Акопян В.Р., Саркисян Л.А. Методические указания по решению задач курса теории трансляции. // Ер.: Изд-во ЕГУ, 2007, 76с. (на армянском языке)
*Нигиян С.А., Хачоян Л.О. К проблеме -эквивантности логических программ. // Доклады НАН Армении, том 99, N2, 1999, c.99-103
*Нигиян С.А. Метод резолюций для логики предикатов первого порядка с нтерпретированными предикатами // Доклады АН России том 359, N2, 1998, с.168-170
*Нигиян С.А. Функциональные и логические языки программирования (формализация, анализ, интерпретация). // Автореферат докторской диссертации, Москва, МГУ, 1997, 34 с.
*Nigiyan S.A. Mathematical Theory of Programming Languages (functional approach). // Proceedings of the International Conference CSIT-97, Yerevan , 1997, p.23-25
*Нигиян С.А., Хачоян Л.О. О преобразованиях логических программ // Программирование N6, 1997, с.17-28