## 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 |