作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于同余的一个分划.
推荐文章
修正的Kleene系统中的子代数的广义矛盾式
修正的Kleene系统
子R0代数
广义矛盾式
修正的RDP逻辑系统中子代数的广义重言式理论
修正的RDP逻辑系统
广义重言式
α-矛盾式
子代数
分划
逻辑系统RDP中子代数的广义重言式理论
RDP逻辑系统
广义重言式
子代数
修正的G(o)del逻辑系统中子代数的广义重言式理论
修正的G(o)del逻辑系统
广义重言式
α-矛盾式
分划
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 修正的Kleene系统中子代数的广义重言式理论
来源期刊 计算机工程与应用 学科 数学
关键词 修正的Kleene系统 广义重言式 分划
年,卷(期) 2009,(22) 所属期刊栏目 研究、探讨
研究方向 页码范围 32-33,46
页数 3页 分类号 O141.1
字数 4861字 语种 中文
DOI 10.3778/j.issn.1002-8331.2009.22.011
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 魏海新 桂林航天工业高等专科学校计算机系 38 72 5.0 7.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (45)
共引文献  (61)
参考文献  (7)
节点文献
引证文献  (6)
同被引文献  (15)
二级引证文献  (12)
1990(2)
  • 参考文献(0)
  • 二级参考文献(2)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(2)
  • 参考文献(0)
  • 二级参考文献(2)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(5)
  • 参考文献(0)
  • 二级参考文献(5)
1998(11)
  • 参考文献(1)
  • 二级参考文献(10)
1999(4)
  • 参考文献(0)
  • 二级参考文献(4)
2000(14)
  • 参考文献(2)
  • 二级参考文献(12)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(4)
  • 参考文献(1)
  • 二级参考文献(3)
2003(2)
  • 参考文献(1)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(2)
  • 参考文献(1)
  • 二级参考文献(1)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2015(15)
  • 引证文献(4)
  • 二级引证文献(11)
研究主题发展历程
节点文献
修正的Kleene系统
广义重言式
分划
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导