期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Church Monoid的集合表示
1
作者 周春来 《广西大学学报（自然科学版）》 CAS CSCD 2001年第3期239-242,共4页
Stone Representation Theorem之于 Boolean Algebra就象 Cayley Theorem之于 Abstract GroupTheory一样重要 .本文推广 Stone Representation Theorem中所用的方法给出了 Church Monoid的集合表示 .而且根据此表示定理 ,给出了定理 1... Stone Representation Theorem之于 Boolean Algebra就象 Cayley Theorem之于 Abstract GroupTheory一样重要 .本文推广 Stone Representation Theorem中所用的方法给出了 Church Monoid的集合表示 .而且根据此表示定理 ,给出了定理 1的一个新证明 .在证明的过程中 ,得到了一些抽象代数与关系代数的对应关系 . 展开更多
关键词 STONE Representation Theorem church monoid 有向集 有向锥 关系代数 相干逻辑 集合表示
下载PDF
特殊么半群上的Green等价
2
作者 姚文起 张文汉 《大学数学》 1996年第4期1-5,共5页
本文主要讨论有限特殊Ｃｈｕｒｃｈ－ＲｏｓｓｅｒＴｈｕｅ系统所表现的么半群上Ｇｒｅｅｎ等价的数量性质．证明每种Ｇｒｅｅｎ等价类都是正则集合，其个数或１或∞且多项式时间内可计算．同时获得一个关于有限特殊Ｔｈｕｅ系统描述能... 本文主要讨论有限特殊Ｃｈｕｒｃｈ－ＲｏｓｓｅｒＴｈｕｅ系统所表现的么半群上Ｇｒｅｅｎ等价的数量性质．证明每种Ｇｒｅｅｎ等价类都是正则集合，其个数或１或∞且多项式时间内可计算．同时获得一个关于有限特殊Ｔｈｕｅ系统描述能力的结论． 展开更多
关键词 church—Rosser Thue系统 么半群Green等价 正则集合
下载PDF
QUANTITATIVE PROPERTIES OF GREEN EQUIVALENCES ON SPECIAL MONOIDS
3
作者 WU Jinzhao (Institute of Systems Science, Academia Sinica, Beijing,China) 《Systems Science and Mathematical Sciences》 SCIE EI CSCD 1996年第3期198-204,共7页
ＱＵＡＮＴＩＴＡＴＩＶＥＰＲＯＰＥＲＴＩＥＳＯＦＧＲＥＥＮＥＱＵＩＶＡＬＥＮＣＥＳＯＮＳＰＥＣＩＡＬＭＯＮＯＩＤＳＷＵＪｉｎｚｈａｏ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，... ＱＵＡＮＴＩＴＡＴＩＶＥＰＲＯＰＥＲＴＩＥＳＯＦＧＲＥＥＮＥＱＵＩＶＡＬＥＮＣＥＳＯＮＳＰＥＣＩＡＬＭＯＮＯＩＤＳＷＵＪｉｎｚｈａｏ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉｎｇ１０００８０，Ｃｈｉ... 展开更多
关键词 church-Rosser Thue systems monoidS REGULAR monoidS Green EQUIVALENCE
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部