论文部分内容阅读
文章讨论一阶反合一问题以及求反合一子完备集的算法。在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法。在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出的是已解出形。该文在已解出形的基础上讨论一种方法，以给出具体解的完备集。
一阶反合一研究
【摘 要】
：
文章讨论一阶反合一问题以及求反合一子完备集的算法。在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法。在研究反合一问题的过程中，人
【机 构】
：
南京大学计算机科学与技术系
【出 处】
：
软件学报
【发表日期】
：
1999年7期
【基金项目】
：
国家自然科学基金,,国家863高科技项目基金
其他文献
不久前,首都部分经济界人士和地方政府官员在京就当前国有企业改革的难点与对策问题,进行了座谈。 北京市经委改革办公室主任沙生良同志指出,从参加试点的国有大中型企业现状
新冠肺炎疫情发生以来,高校学生工作遵循“因事而化、因时而进、因势而新”的理念,提高疫情防控的针对性、时效性和实效性。在疫情防控中,高校学生工作模式也发生了新的转变:
一、香港地区是内地最重要的贸易、投资伙伴。1996年1-6月,内地与香港贸易总额为544.32亿美元,占我国同期外贸总额的42.78％,其中,内地对香港出口285.18亿美元,内地自香港进口2
目的：研究高收入人群的血脂代谢异常发生率,明确生活水平与高血脂发病率的关系。方法：选取2009-2010年在长春市朝阳区人民医院体检科做健康体检的2组高收入人群,按年龄阶段分为
农业部刘江部长在最近提出今年深化农村改革,要重点围绕以下五个方面来推进: 一是稳定农村基本经营制度,逐步完善土地承包经营权流转机制。根据中央关于延长土地承包期的政策
新冠肺炎疫情给全球教育带来了前所未有的危机,也在加速全球教育变革。OECD教育调研报告对疫情危机下的世界教育进行了详细梳理,通过提出"四对张力"和相关建议,总结归纳出疫
当前,小学语文教学正积极实施课程改革,阅读作为小学语文教学的重要组成部分,自然也不例外。因此,如何帮助学生在广泛而有序的阅读中获取知识、开阔视野、提升能力一直是广大
悉尼科技大学作为一所年轻的综合性大学,建校三十多年迅速崛起并取得卓著成果。该校坚持以大学战略规划为引领,通过战略实施推动大学快速发展。《UTS2027战略》立足于四大领
传统的原子事务是由一个平坦数据库操作序列组成的，事务的执行具有ＡＣＩＤ特性，然而，在实时应用环境下，这些却不太适用，该文提出了一种支持实时应用的嵌套事务模型，给出了嵌套事务的特性及
以人口预测为基础,研究分析了从目前到2035年的教育需求状况。从学龄人口总量看,未来教育需求增长不大,但受城镇化进程的影响,城镇学前至高中阶段的教育需求旺盛,农村各阶段