模型数相关硕士博士期刊学术论文 - 搜论网

模型数相关论文

无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性. 得到了下面的新定理:定理1 无原子布氏代数理论Δ具有完全的量词消去法,也就是说每一个式子都Δ......

期刊

无原子布氏代数量词消去法模型数计算复杂性 Boolean algebra without atomic elements complete quanti

看过本文同时还关注