The Quantifier Structure of Sentences that Characterize Nondeterministic Time Complexity

James F. Lynch. The Quantifier Structure of Sentences that Characterize Nondeterministic Time Complexity. In Structure in Complexity Theory Conference. pages 210-222, 1990.

Abstract

Abstract is missing.