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