|
|||||
|
|
| 无穷发散项与易项 | |
| 引用本文： | 赵希顺,蒋颖.无穷发散项与易项[J].科学通报,1995,40(19):1819-1820. |
| 作者姓名： | 赵希顺 蒋颖 |
| 作者单位： | 河南师范大学数学系 新乡453002 (赵希顺)，中国科学院软件研究所 北京100080 (蒋颖)，中国科学院软件研究所 北京100080(王驹) |
| 基金项目： | 国家自然科学基金资助项目 |
| 摘 要： | 本文研究一类易项的归约性质.关于本文记号和基本概念,请参考文献1～3].本文均是在λη系统中进行推理,当写M=N时,意指λη+M=N.文献2]中证明了,Ω≡(λχ.χχ)(λχ.χχ)是易项.黄目园等证明了,所有U循环项都是易项.设W∈Λ~0(Λ~0为闭λ项的全体),记F(W)={P:W(?)P}.如果W满足 |
| 关 键 词： | 易顶 无究发散项 计算机 |
| 本文献已被 CNKI 维普 等数据库收录！ | |