The Complexity of Proving Discrete Jordan Curve Theorem (2007)

by Phuong Nguyen , Stephen Cook
Venue:In Proc. 22nd IEEE Symposium on Logic in Computer Science
Citations:1 - 0 self