一阶逻辑归约相关硕士博士期刊学术论文

有限模型理论中,描述复杂性作为连接计算复杂性和定义在有限结构上的逻辑语言的桥梁,通过提供新的证明方法和额外的证据使得计算复......