Study manual
Վերջավոր տարրերի մեթոդը և կիրառությունները
2013
134
Publications
Conference
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
2012
124-125
Monograph
Линейные уравнения эллиптического типа
2012
176
Article
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
2011
75-94
Article
ON COMPACTNESS OF A CLASS OF FIRST ORDER LINEAR DIFFERENTIAL OPERATORS
2011
17-21
Article
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
2011
37-52
Article
On the boundedness of a class of the first order linear differential operators
2011
3-6
Article
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
2011
159-162
Article
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
2011
28 - 35
Conference
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
2011
200-201
Article
О граничных значениях решения задачи Дирихле для эллиптического уравнения второго порядка
2010
31-52
Article
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
2010
120-127
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 2
2010
37-46
Conference
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
2010
51-55
Monograph
Rabin style speed-up of proofs
2010
50
Article
Dirichlet weight integral estimation to Dirichlet problem solution for the general second order elliptic equation
2009
10-21
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1
2009
42-51
Conference
Type Inference System of Polymorphic λ-Terms
2009
1-4
Article
О поведении вблизи границы решения задачи Дирихле для общего эллиптического уравнения второго порядка
2008
110-116
Article
Об ограниченности весового интеграла Дирихле решения задачи Дирихле для эллиптического уравнения второго порядка
2008
45-49