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