非确定性限制逻辑及其在计算复杂度中的应用
The Non-Deterministic Constraint Logic and Its Applications in Computational Complexity
刘孜文：华南理工大学软件学院，广东 广州；杨 超：中山大学数学学院，广东 广州
版权 © 2017 刘孜文, 杨 超。本期刊文章已获得知识共享署名国际组织(Creative Commons Attribution International License)的认证许可。您可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品；您必须按照作者或者许可人指定的方式对作品进行署名。