Foundations of Constructive Mathematics. SpringerVeriag, BerlinM. Beeson1985Highly Influential3 Excerpts
The Polynomial Time Hierarchy and A Simple Model for Competitive AnalysisR. JerislowMathematical Programming1985Highly Influential3 Excerpts
Social Choice and Individual Values the Types of Social ChoiceKenneth J Arrow, Uv EHighly Influential3 Excerpts
The Computational Complexity of Maximization and IntegrationH. FriedmanAdvances in Mathematics19841 Excerpt
Computers and Intractability: A Guide to the Theory of NP-CompletenessM. R. Garey, David S. Johnson1979
Word Problems Requiring Exponential Time: Preliminary ReportLarry J. Stockmeyer, Albert R. MeyerSTOC1973