证明了在形式语义分析中具有重要意义的序增算子的不动点定理
然后讨论了序增算子的不动点计数问题
） Abstract： In this paper we introduce the semiordering methods of iteration of order operator, and proof the fixed points theorems of order increasing operator that have important meaning in the analysis of format semantics, then discuss the counting problems of fixed points of order increasing operator, our conclusion point out that several kind of things all may take place by the construction of some examples
Keywords： semiorder, ordering increasing operator, fixed point, 下载PDF阅读器 PDF全文下载： 初稿 （ 92 ） 作者简介： 通信联系人： 【收录情况】 中国科技论文在线： 董祥南
序增算子的不动点定理及其若干例子[EB/OL]
