О внутренних точках невырожденных конструктивных кривых. ДАН СССР, т. 196, №3, с. 768-769, 1971.
Об устойчивости конструктивных простых дуг относительно алгорифмических преобразований. ДАН СССР, т. 220, №6, с. 1267-1270, 1975.
Некоторые свойства разбиений плоскости невырожденными конструктивными кривыми. Труды ВЦ АН АрмССР и ЕГУ, “Математические вопросы кибернетики и вычислительной техники”, т.8, с. 67-95, 1975.
О некоторых топологических особенностях конструктивных простых дуг. “Исследования по теории алгорифмов и математической логике”, ВЦ АН СССР, Москва, т. 2, с. 122-129, 1976.
Об алгорифмах, перерабатывающих конструктивные кривые в точки. Труды ВЦ АН АрмССР и ЕГУ, “Математические вопросы кибернетики и вычислительной техники”, т. 10, с. 55-71, 1982
Задача Дирихле в конструктивном анализе. ДАН АрмССР, т. 79, №2, с. 58-62, 1984.
О структуре рекурсивно перечислимых нечетких множеств. Труды ИПИА НАН РА и ЕГУ, “Математические вопросы кибернетики и вычислительной техники”, т. 17, с. 86-91, 1997.
Некоторые алгебры рекурсивно перечислимых множеств и их приложения к нечеткой логике. Записки научных семинаров ПОМИ, “Теория сложности вычислений VIII”, Санкт-Петербург, т. 304, с. 19-74, 2003.
Algebras of Recursively Enumerable Sets and their Applications to Fuzzy Logic. Journal of Mathematical Sciences, vol. 130, №2, pp.4598-4606, 2005.
On Representation of Recursively Enumerable Sets in Weak Arithmetics. Transections of IIAP of NAS of RA, “Mathematical Problems of Computer Science”, vol. 27, pp. 90-110, 2006.
С. Н. Манукян. Классификация многомерных арифметических множеств, представимых в системе М. Пресбургера. Доклады Национальной Академии Наук Армении, том 111, № 2, стр. 114-120, 2011.
Some Algebraical and Logical Properties of Two-dimensional Arithmetical sets Representable in Presburger’s System. Transections of IIAP of NAS of RA, “Mathematical Problems of Computer Science”, vol. 37, pp. 64-74, 2012.
On an Algebraic Classification of Multidimensional Recursively Enumerable Sets Expressible in Formal Arithmetical Systems. Transactions of the Institute for Informatics and Automation Problems of NAS of RA, vol. 41, pp. 103-113, 2014.
On Strongly Positive Multidimensional Arithmetical Sets. Transactions of the Institute for Informatics and Automation Problems of NAS of RA, vol. 43, pp. 32-41, 2015.
|