Turing Machines and the Spectra of First-Order Formulas with Equality

Neil D. Jones, Alan L. Selman. Turing Machines and the Spectra of First-Order Formulas with Equality. In Conference Record, Fourth Annual ACM Symposium on Theory of Computing, 1-3 May 1972, Denver, Colorado, USA. pages 157-167, ACM, 1972.

Abstract

Abstract is missing.