格值正布尔公式相关论文
计算理论作为理论计算机科学的基础内容之一,由自动机、形式语言、计算复杂性等方面构成.非确定性在计算理论的不同领域有着不同的......
交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格......
