Symposium On Theory of Computing - References

References

• Cook, Stephen (1971), "The complexity of theorem proving procedures", Proc. STOC 1971, pp. 151–158, doi:10.1145/800157.805047 .
• Fich, Faith (1996), "Infrastructure issues related to theory of computing research", ACM Computing Surveys 28 (4es): 217, doi:10.1145/242224.242502 .
• Johnson, D. S. (1984), "The genealogy of theoretical computer science: a preliminary report", ACM SIGACT News 16 (2): 36–49, doi:10.1145/1008959.1008960 .