Հոդված
О формализации понятия δ-редукции в монотонных моделях типового λ-исчисления.
Հրապարակումներ
Հոդված
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
Գիտաժողովի նյութ
Нейросетевые технологии в задачах прогнозирования
Գիտաժողովի նյութ
Нейросетевое прогнозирование временных рядов
Գիտաժողովի նյութ
Применение современных информационных технологий в задачах биометрической идентификации по радужной оболочке глаза
Գիտաժողովի նյութ
INFLUENCE OF ABSORPTION ON THE X-RAY DIFFRACTION BY THE TRAPEZIFORM MODEL OF SUPERLATTICE WITH A STACKING FAULT
Գիտաժողովի նյութ
Integrated intensity of x-ray reflection from a superlattice with a stacking fault
Գիտաժողովի նյութ
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
