Manual
Ծրագրավորման ֆունկցիոնալ համակարգեր
2006
60
Publications
Article
A Necessary and sufficient condition of completeness of computation rule for strong typed functional programs.
Article
О формализации понятия δ-редукции в монотонных моделях типового λ-исчисления.
Article
On δ-Reduction in monotonic models of typed λ-calculus.
Article
On the behaviour near the boundary of solutions of the Dirichlet problem for elliptic equations
Article
О поведении вблизи границы решения задачи Дирихле для эллиптического уравнения второго порядка
Article
Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus.
Algebra, Geometry & Their Applications
2002
48-57
Article
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
Article
On execution of functional programs.
Article
О равномерной квазиасимптотике решений гиперболических уравнений
Conference
Educational Process Management System
Conference
Building and Execution of Queries for Educational Process Management System
Conference
Нейросетевые технологии в задачах прогнозирования
Conference
Нейросетевое прогнозирование временных рядов
Conference
Применение современных информационных технологий в задачах биометрической идентификации по радужной оболочке глаза
Conference
On some universal system for various propositional logics
Conference
Some notes about lower bounds for steps and sizes of proofs in Frege systems
Conference
Improvement of lower bounds for steps and sizes of proofs in Frege systems
Conference
Interval edge colorings of Hamming graphs
Conference
On Interval Edge-Colorings of Bipartite Graphs
