Статья
On the boundedness of a class of the first order linear differential operators
2011
3-6
Публикации
Статья
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
2011
159-162
Статья
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
2011
28 - 35
Статья
О граничных значениях решения задачи Дирихле для эллиптического уравнения второго порядка
2010
31-52
Статья
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
2010
120-127
Монография
Rabin style speed-up of proofs
2010
50
Статья
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 2
2010
37-46
Статья
Dirichlet weight integral estimation to Dirichlet problem solution for the general second order elliptic equation
2009
10-21
Статья
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1
2009
42-51
Статья
О поведении вблизи границы решения задачи Дирихле для общего эллиптического уравнения второго порядка
2008
110-116
Статья
Об ограниченности весового интеграла Дирихле решения задачи Дирихле для эллиптического уравнения второго порядка
2008
45-49
Статья
Об алгоритмах интерпретации строго типизированных функциональных программ.
Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки.
2008
172-179
Образовательный Руководство
Ծրագրավորման ֆունկցիոնալ համակարգեր
2006
60
Статья
A Necessary and sufficient condition of completeness of computation rule for strong typed functional programs.
2005
16-19
Статья
О формализации понятия δ-редукции в монотонных моделях типового λ-исчисления.
2003
27-36
Статья
On δ-Reduction in monotonic models of typed λ-calculus.
2003
65-67
Статья
On the behaviour near the boundary of solutions of the Dirichlet problem for elliptic equations
2002
99-118
Статья
О поведении вблизи границы решения задачи Дирихле для эллиптического уравнения второго порядка
2002
735-737
Статья
Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus.
Algebra, Geometry & Their Applications
2002
48-57
Статья
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
1999
197-203