Бюрократ, editor, nsBadRO, nsBadRW, nsDraftRO, nsDraftRW, reviewer, администратор
153 606
правок
Изменения
→Сочинения
*Нигиян С.А., Хачоян Л.О., Акопян В.Р., Саркисян Л.А. Методические указания по решению задач курса теории трансляции. // Ер.: Изд-во ЕГУ, 2007, 76с. (на армянском языке)
*Нигиян С.А., Хачоян Л.О., Нигиян А.В. Процедурные языки программирования с логической точки зрения. // Сборник научных статей. Годичная научная конференция (28 ноября – 2 декабря 2006 г.). Физико-математические и естественные науки. – Ер.:Изд-во РАУ, 2007, с. 138-144
*Нигиян С.А., Аветисян С.А. Об алгоритмах интерпретации бестиповых функциональных программ. // Вестник РАУ, Серия физико-математические и естественные науки, N2 – Ер.: Изд-во РАУ, 2006, с.77-84
*Нигиян С.А., Будагян Л.Э. Функциональные системы программирования (учебно-методическое пособие). // Ер.: Изд-во ЕГУ, 2006, 60 с. (на армянском языке)
*Nigiyan S.A., Hambardzumyan A.M. On Interpreters of Logic Programming Systems. // Transactions of IIAP of NAS RA: Mathematical Problems of Computer Science, Vol.24, 2005, p.34-41
*Nigiyan S.A., Hambardzumyan A.M. On Totally Solvable and Totally Complete Interpreters for Logic Programming Systems.// Proceedings of the International Conference CSIT-05, Yerevan, 2005, p.105-108
*Nigiyan S.A., Sargsyan L.A. On Negation in Logic Programming.// Proceedings of the International Conference CSIT-05, Yerevan, 2005, p.109-112
*Нигиян С.А., Хачоян Л.О., Акопян В.Р. Оптимизация систем логического программирования посредством преобразований их программ. // Доклады НАН Армении, том 104, N1, 2004, c.12-17
*Nigiyan S.A., Hakobyan V.R. On Optimization of Logical Programming Systems.// Proceedings of the International Conference CSIT-03, Yerevan, 2003, p.39-41
*Нигиян С.А. Об Ереванской школе программирования. // В кн. История информатики в России. Ученые и их школы. Москва, "Наука", 2003, c.364-370
*Nigiyan S.A., Khachoyan L.O. Interpretation and Transformations of Logic Programs. Theory and Applications.// Proceedings of the International Conference CSIT-99, Yerevan, 1999, p.30-32
*Нигиян С.А., Хачоян Л.О. К проблеме -эквивантности логических программ. // Доклады НАН Армении, том 99, N2, 1999, c.99-103
*Нигиян С.А. Метод резолюций для логики предикатов первого порядка с нтерпретированными предикатами // Доклады АН России России том 359, N2, 1998, с.168-170
*Нигиян С.А. Функциональные и логические языки программирования (формализация, анализ, интерпретация). // Автореферат докторской диссертации,
Москва, МГУ, 1997, 34 с.
*Нигиян С.А. О сводимости к свободным схемам. // Программирование, N4, 1980, с.14-19
*Нигиян С.А. К проблеме неэквивалентности для схем с памятью // Программирование N5 1979, с.11-17
*Нигиян С.А. Частичная разрешимость неэквивалентности свободных схем // Программирование N2, 1979, с.23-33 *Нигиян С.А. Об одном классе схем сводимых к свободным // Молодой научный работник, ЕГУ, N2 (28), 1978, с. 42-49*Нигиян С.А. Рекурсивная перечислимость неэквивалентности в классе свободных монадических схем. // Молодой научный работник, ЕГУ, N2 (22), 1975, с. 36-46
==Достижения==