Հոդված
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
Հրապարակումներ
Հոդված
ON COMPACTNESS OF A CLASS OF FIRST ORDER LINEAR DIFFERENTIAL OPERATORS
Հոդված
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
Հոդված
On the boundedness of a class of the first order linear differential operators
Հոդված
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
Հոդված
О граничных значениях решения задачи Дирихле для эллиптического уравнения второго порядка
Հոդված
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
Մենագրություն
Rabin style speed-up of proofs
2010
50
Հոդված
Dirichlet weight integral estimation to Dirichlet problem solution for the general second order elliptic equation
Հոդված
О поведении вблизи границы решения задачи Дирихле для общего эллиптического уравнения второго порядка
Հոդված
Об ограниченности весового интеграла Дирихле решения задачи Дирихле для эллиптического уравнения второго порядка
Հոդված
Об алгоритмах интерпретации строго типизированных функциональных программ.
Сборник научных статей. Годичная научная конференция (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
Հոդված
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
