HORN集

作品数：11被引量：3H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘叙华欧阳丹彤黄天民裴峥杨凤杰更多>>
相关机构：吉林大学西南交通大学《电器》编辑部浙江大学更多>>
相关期刊：《湘潭师范学院学报（自然科学版）》《电器》《上海科技大学学报》《汽车工艺师》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划国家攀登计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=调解x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
广义Horn集
《软件学报》1995年第4期248-256,共9页刘叙华 欧阳丹彤 
国家自然科学基金;博士点基金;863计划;国家攀登计划项目
本文定义了广义Ｈｏｒｎ集，并在广义Ｈｏｒｎ集上证明了广义输入归结的完备性；广义输入对称调解的完备性；以及一定条件下的广义输入有向调解的完备性．文中还证明了广义调解法的提升引理．
关键词：对称调解 有向调解 广义 HORN集 
输入调解法和单元调解法在Horn集上的完备性被引量：1
《软件学报》1993年第1期6-11,共6页欧阳丹彤 孙吉贵 刘叙华 
国家自然科学基金;国家教委博士点基金
本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。
关键词：调解法 单元调解法 完备性 HORN集 
Horn集上的有向调解法被引量：2
《吉林大学自然科学学报》1992年第4期38-42,共5页欧阳丹彤 刘叙华 
国家自然科学基金;国家教委博士点基金;国家863计划资助课题
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。
关键词：HORN集 调解法 完备性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部