References
References
- Fagin R 1974 Generalized first-order spectra and polynomial-time recognizable sets In: R.M. Karp (Ed.) Complexity of Computations, American Mathematics Society pp. 43–73
- Orponen P Mannila H 1987 On approximation preserving reductions: complete problems and robust measures Technical Report C-1987-28, Dept. of Computer Science, University of Helsinki Finland
- Cook SA 1971 The complexity of theorem-proving procedures In: Proc. STOC’71 pp. 151–158
- Immerman N 1998 Descriptive Complexity, Springer-Verlag
- Papadimitriou , CH and Yannakakis , M . 1991 . Optimization, approximation and complexity classes . Journal of Computer and System Sciences , 43 : 425 – 440 .