Advances in Mathematics · 1982 · 506 citations · 21 references
ComputingComputer ScienceMathematicsAlgebraAlgorithmsTheory Of ComputationAbstract AlgebraCommutative AlgebraComplexity TheoryComputational ComplexityComputational Complexity ClassesStructural ComplexityAlgorithms For IdealsCommutative Algebra AlgorithmsComplexity-theoretic ReductionsPolynomial Time ComplexityPolynomial-time AlgorithmsPolynomial-time ReductionsSemigroup Theory
21
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text