Article
On the boundedness of a class of the first order linear differential operators
2011
3-6
Publications
Article
袨 褉邪蟹褉械褕懈屑芯褋褌懈 蟹邪写邪褔懈 袛懈褉懈褏谢械 写谢褟 芯斜褖械谐芯 褝谢谢懈锌褌懈褔械褋泻芯谐芯 褍褉邪胁薪械薪懈褟 胁褌芯褉芯谐芯 锌芯褉褟写泻邪
2011
159-162
Article
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
2011
28 - 35
Article
袨 谐褉邪薪懈褔薪褘褏 蟹薪邪褔械薪懈褟褏 褉械褕械薪懈褟 蟹邪写邪褔懈 袛懈褉懈褏谢械 写谢褟 褝谢谢懈锌褌懈褔械褋泻芯谐芯 褍褉邪胁薪械薪懈褟 胁褌芯褉芯谐芯 锌芯褉褟写泻邪
2010
31-52
Article
袨 褉邪蟹褉械褕懈屑芯褋褌懈 蟹邪写邪褔懈 袛懈褉懈褏谢械 写谢褟 褝谢谢懈锌褌懈褔械褋泻芯谐芯 褍褉邪胁薪械薪懈褟 胁褌芯褉芯谐芯 锌芯褉褟写泻邪
2010
120-127
Monograph
Rabin style speed-up of proofs
2010
50
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC 位-TERMS. 2
2010
37-46
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
Article
袨 锌芯胁械写械薪懈懈 胁斜谢懈蟹懈 谐褉邪薪懈褑褘 褉械褕械薪懈褟 蟹邪写邪褔懈 袛懈褉懈褏谢械 写谢褟 芯斜褖械谐芯 褝谢谢懈锌褌懈褔械褋泻芯谐芯 褍褉邪胁薪械薪懈褟 胁褌芯褉芯谐芯 锌芯褉褟写泻邪
2008
110-116
Article
袨斜 芯谐褉邪薪懈褔械薪薪芯褋褌懈 胁械褋芯胁芯谐芯 懈薪褌械谐褉邪谢邪 袛懈褉懈褏谢械 褉械褕械薪懈褟 蟹邪写邪褔懈 袛懈褉懈褏谢械 写谢褟 褝谢谢懈锌褌懈褔械褋泻芯谐芯 褍褉邪胁薪械薪懈褟 胁褌芯褉芯谐芯 锌芯褉褟写泻邪
2008
45-49
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.
2005
16-19
Article
袨 褎芯褉屑邪谢懈蟹邪褑懈懈 锌芯薪褟褌懈褟 未-褉械写褍泻褑懈懈 胁 屑芯薪芯褌芯薪薪褘褏 屑芯写械谢褟褏 褌懈锌芯胁芯谐芯 位-懈褋褔懈褋谢械薪懈褟.
2003
27-36
Article
On 未-Reduction in monotonic models of typed 位-calculus.
2003
65-67
Article
On the behaviour near the boundary of solutions of the Dirichlet problem for elliptic equations
2002
99-118
Article
袨 锌芯胁械写械薪懈懈 胁斜谢懈蟹懈 谐褉邪薪懈褑褘 褉械褕械薪懈褟 蟹邪写邪褔懈 袛懈褉懈褏谢械 写谢褟 褝谢谢懈锌褌懈褔械褋泻芯谐芯 褍褉邪胁薪械薪懈褟 胁褌芯褉芯谐芯 锌芯褉褟写泻邪
2002
735-737
Article
Formalizing the notion of 未-reduction in monotonic models of typed 位-calculus.
Algebra, Geometry & Their Applications
2002
48-57
Article
袩褉邪胁懈谢邪 胁褘褔懈褋谢械薪懈褟 谐谢邪胁薪芯泄 褎褍薪泻褑懈懈 薪邪懈屑械薪褜褕械谐芯 褉械褕械薪懈褟 写谢褟 芯写薪芯谐芯 泻谢邪褋褋邪 褋懈褋褌械屑 褉械泻褍褉褋懈胁薪褘褏 褍褉邪胁薪械薪懈泄.
1999
197-203