期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
减法系统Ⅱ——BCY代数的各种加强系统
1
作者
沈百英
叶瑞芬
《华东化工学院学报》
CSCD
1991年第5期505-516,共12页
在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。
关键词
BCY代数
字问题
加强系统
减法系统
下载PDF
职称材料
减法系统Ⅲ——各种BCY代数的等价类
2
作者
叶瑞芬
沈百英
《华东化工学院学报》
CSCD
1993年第5期627-632,共6页
在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。
关键词
减法系统
BCY代数
等价类
代数
下载PDF
职称材料
题名
减法系统Ⅱ——BCY代数的各种加强系统
1
作者
沈百英
叶瑞芬
机构
华东化工学院计算机系
出处
《华东化工学院学报》
CSCD
1991年第5期505-516,共12页
文摘
在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。
关键词
BCY代数
字问题
加强系统
减法系统
Keywords
algebra
word problem
abstraction system
BCK-algebra
bcy-algebra
分类号
O153 [理学—基础数学]
下载PDF
职称材料
题名
减法系统Ⅲ——各种BCY代数的等价类
2
作者
叶瑞芬
沈百英
机构
华东化工学院计算机系
出处
《华东化工学院学报》
CSCD
1993年第5期627-632,共6页
文摘
在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。
关键词
减法系统
BCY代数
等价类
代数
Keywords
subtraction system
bcy-algebra
BCI-algebra
BCK-algebra
equivalence class
分类号
O153.1 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
减法系统Ⅱ——BCY代数的各种加强系统
沈百英
叶瑞芬
《华东化工学院学报》
CSCD
1991
0
下载PDF
职称材料
2
减法系统Ⅲ——各种BCY代数的等价类
叶瑞芬
沈百英
《华东化工学院学报》
CSCD
1993
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部