Статья
On the boundedness of a class of the first order linear differential operators
Публикации
Статья
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
Статья
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
Статья
О граничных значениях решения задачи Дирихле для эллиптического уравнения второго порядка
Статья
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
Монография
Rabin style speed-up of proofs
2010
50
Статья
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 2
Статья
Dirichlet weight integral estimation to Dirichlet problem solution for the general second order elliptic equation
Статья
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1
Статья
О поведении вблизи границы решения задачи Дирихле для общего эллиптического уравнения второго порядка
Статья
Об ограниченности весового интеграла Дирихле решения задачи Дирихле для эллиптического уравнения второго порядка
Статья
Об алгоритмах интерпретации строго типизированных функциональных программ.
Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки.
2008
172-179
Образовательный Руководство
Ծրագրավորման ֆունկցիոնալ համակարգեր
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
Статья
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
