期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
原子布尔代数理论的计算复杂性 被引量:1
1
作者 薛锐 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 1998年第4期445-449,共5页
运用EhrenfeuchtGames理论给出原子布尔代数理论的一个判定过程及其复杂度,并说明这个过程在初等等价意义下是最优的.
关键词 计算复杂性 原子布尔代数 数理逻辑 布尔代数
在线阅读 下载PDF
完备布尔代数理论的计算复杂性
2
作者 薛锐 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第3期303-309,共7页
运用改进的Ehrenfeuchtgames理论,适当定义了范数和囿函数,给出了无原子布尔代数理论的一个判定过程.利用这个结果,直接构造出完备布尔代数的判定过程,并且分析了它们的复杂度.
关键词 完备布尔代数 可判定性 计算复杂性 数理逻辑
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部