×

zbMATH — the first resource for mathematics

Proof verification and hardness of approximation problems. (English) Zbl 0977.68539
33rd annual symposium on Foundations of computer science (FOCS). Proceedings, Pittsburgh, PA, USA, October 24-27, 1992. Washington, DC: IEEE Computer Society Press, 14-23 (1992).

MSC:
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
68N15 Theory of programming languages
PDF BibTeX XML Cite