A Syntactic Characterization of NP-Completeness

J. Antonio Medina, Neil Immerman. A Syntactic Characterization of NP-Completeness. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 241-250, IEEE Computer Society, 1994.

Abstract

Abstract is missing.