Հոդված Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus. L.E. Budaghyan Algebra, Geometry & Their Applications 2002 48-57
Հոդված Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений. С.А. Нигиян Л.Э Будагян ՀՀ ԳԱԱ զեկույցներ 1999 197-203
Հոդված On execution of functional programs. Semyon A.Nigiyan Lusine E. Budagyan Computer Science and Information Technologies 1999 33-35
Հոդված О равномерной квазиасимптотике решений гиперболических уравнений В.Ж.Думанян Математический сборник (Sbornik Mathematics) 1990 684-703 http://www.mathnet.ru/msb
Գիտաժողովի նյութ Building and Execution of Queries for Educational Process Management System Ara Arakelyan Ani Balasanyan
Գիտաժողովի նյութ Нейросетевые технологии в задачах прогнозирования Саркисян С.Г Овакимян А.С. Харатян А.А.
Գիտաժողովի նյութ Нейросетевое прогнозирование временных рядов Овакимян А.С. Саркисян С.Г. Зироян М.А. Тинякова В.И.
Գիտաժողովի նյութ Применение современных информационных технологий в задачах биометрической идентификации по радужной оболочке глаза Овакимян А.С. Саркисян С.Г. Зироян М.А.
Գիտաժողովի նյութ On some universal system for various propositional logics An. Chubaryan Arm. Chubaryan H.Nalbandyan S. Sayadyan
Գիտաժողովի նյութ Some notes about lower bounds for steps and sizes of proofs in Frege systems An.Chubaryan Arm. Chubaryan A.Tshitoyan
Գիտաժողովի նյութ Improvement of lower bounds for steps and sizes of proofs in Frege systems Anahit Chubaryan
Գիտաժողովի նյութ On Interval Edge-Colorings of Bipartite Graphs Petros Petrosyan Hrant Khachatrian Tigran Mamikonyan
Գիտաժողովի նյութ On Interval Cyclic Colorings of Bipartite Graphs Petros A. Petrosyan Armen S. Asratian Carl Johan Casselgren
Գիտաժողովի նյութ The proof complexities relations for strongly equal classical tautologies in Frege systems Anahit Chubaryan Garik Petrosyan
Գիտաժողովի նյութ Some new proof systems for a version of many-valued logics and proof complexities in it Anahit Chubaryan Artur Khamisyan Arman Tshitoyan
Գիտաժողովի նյութ On lower bounds for steps and sizes of proofs in Frege systems An.Chubaryan Arm. Chubaryan A.Tshitoyan
Գիտաժողովի նյութ On the Length of the Minimal Testor for Some Class of Binary Tables Eduard Yeghiazaryan
Գիտաժողովի նյութ On the Number of Solutions of Systems of Equations with not everywhere defined Boolean Functions E. V. Yeghiazaryan