论文部分内容阅读
Ｋｎｕｔｈ－Ｂｅｎｄｉｘ完备过程不终止的起因研究得很少，本文研究引起不终止的重写规则的结构性质，提出了相容交叉规则对的概念，推广了文献６的结论，并提出了为构造系统检验该过程是否不终止的方法。
Knuth—Bendix过程的发散现象的研究
【摘 要】
：
Ｋｎｕｔｈ－Ｂｅｎｄｉｘ完备过程不终止的起因研究得很少，本文研究引起不终止的重写规则的结构性质，提出了相容交叉规则对的概念，推广了文献６的结论，并提出了为构造系统检验该过程是否不终止的方法。
【机 构】
：
中国科学技术大学计算机科学与技术系
【出 处】
：
计算机学报
【发表日期】
：
1994年6期
【基金项目】
：
国家自然科学基金
其他文献
目的探讨高血压患者临床治疗效果,为临床治疗提供依据。方法将治疗组81例采用西医综合治疗与对照组81例采用中医治疗进行疗效比较观察。结果 2组疗效比较：治疗组：显效47例（58.02
本文讨论了ＭＯＳ电路多值开关级代数表达式的三种标准结构，给出了将多值开关级表达式转换成布尔表达式的定理，基于这些理论，提出了ＭＯＳ电路开关级形式验证的一种方法。
本文以环状芽孢杆菌WXY-100为研究对象．研究了该菌在50L全自动发酵罐中更换C源、诱导剂量、补料、下罐时间等条件对发酵过程的影响。结果表明，在发酵罐放大工艺中，发酵培养基的C
期刊
一种并行计算Ｋ阶线性递归Ｎ方程组的新方法朱大铭，马绍汉，马军（山东大学计算机科学系、济南２５０１００）ＡＮＥＷＭＥＴＨＯＤＦＯＲＳＯＬＶＩＮＧＴＨＥＳＹＳＴＥＭＯＦＫ－ＴＨＯＲＤＥＲＬＩＮＥＡＲＲＥＣＵＲＲＥＮＣＥＥＱＵＡＴＩＯＮＳＩＮＰＡＲＡＬＬＥ...
时段演算是用于嵌入式实时软件系统设计的演算系统。本文概述了该演算系统，其中包括时段演算，扩充时段演算，平均值演算和概率时段演算，它们都是区间时态逻辑的扩展，可用于处理数学
目的观察丹皮酚软膏联合丙酸氯倍他索乳膏治疗部分湿疹的疗效。方法 80例患者接受治疗,随机分成2组,试验组46例,对照组34例,共治疗4周。结果经过4周治疗,试验组有效率为60.86
目的探讨老年顽固性高血压综合治疗。方法取我院于2006年8月至2008年10月对住院的48例降压药物治疗疗效欠佳的老年原发性高血压病人进行综合治疗，2-3个月后做血压对比。结果48
黑龙江省7月16日召开省政府专题会议研究支持产业结构调整相关重大项目。会议指出。要鼓励省内大豆加工企业通过联合、兼并、重组等方式．组建起几个规模大、有很强竞争力的企