含等词的超表演算

• 作者: 冯莎莎 吴瑕 孙吉贵
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 超表演算 Superposition方法 等词
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 计算机科学
• 页码范围: 455-460
• 页数: 6页
• 分类号: TP31
• 字数: 5791字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2005.04.014

摘要

将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回溯, 是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0
5	吴瑕	吉林大学计算机科学与技术学院	4	15	2.0	3.0
6	冯莎莎	吉林大学计算机科学与技术学院	3	0	0.0	0.0