91Ƶ

Публикации

Статья
Об алгоритмах интерпретации строго типизированных функциональных программ.
Нигиян С.А.
Акопян Р.Ю.
Будагян Л.Э.
Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки.
2008
172-179
Конференция
On Type Correctness of Polymorphic Functional Programs
Ara Arakelyan
2007
1-3
Образовательный Руководство
Ծրագրավորման ֆունկցիոնալ համակարգեր
Նիգիյան Ս․Ա․
Բուդաղյան Լ․Է․
2006
60
Статья
A Necessary and sufficient condition of completeness of computation rule for strong typed functional programs.
L. Budaghyan
2005
16-19
Статья
О формализации понятия δ-редукции в монотонных моделях типового λ-исчисления.
Л.Э Будагян
2003
27-36
Статья
On δ-Reduction in monotonic models of typed λ-calculus.
Budaghyan L. E
2003
65-67
Статья
On the behaviour near the boundary of solutions of the Dirichlet problem for elliptic equations
Vahram Zh. Dumanian
2002
99-118
Статья
О поведении вблизи границы решения задачи Дирихле для эллиптического уравнения второго порядка
В.Ж.Думанян
2002
735-737
Статья
Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus.
L.E. Budaghyan
Algebra, Geometry & Their Applications
2002
48-57
Статья
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
С.А. Нигиян
Л.Э Будагян
1999
197-203
Статья
О равномерной квазиасимптотике решений гиперболических уравнений
В.Ж.Думанян
1990
684-703
Адрес: Республика Армения, г. Ереван, 0025, Алека Манукяна, 1 (+37460) 710000 info@ysu.am