Separating the complexity classes NL and NP
Withdrawn since -order- was overlooked. First order reductions without order are much too weak to separate.
cs.CC↗
arXiv subjects
David B. Benson
Publications and source records attributed to David B. Benson.