The Complexity of Proving the Discrete Jordan Curve Theorem
- 期刊名称ACM Transactions on Computational Logic
- 作者Nguyen, Phuong; Cook, Stephen
- 卷第13卷
- 期第1期
- 印刷ISSN1529-3785
- 文件大小275.12KB
- 发表时间2012-01-01
- DOI10.1145/2071368.2071377
- 页码1-24
同作者推荐
Corpus-based static branch predictionCalder, Brad; Grunwald, Dirk; Lindsay, Donald; Martin, James; Mozer, Michael; Zorn, Benjamin · ACM SIGPLAN Notices · 1995
Evidence-based static branch prediction using machine learningCalder, Brad; Grunwald, Dirk; Jones, Michael; Lindsay, Donald; Martin, James; Mozer, Michael; Zorn, Benjamin · ACM Transactions on Programming Languages and Systems · 1997