Annals of Pure and Applied Logic · 1989 · 26 citations · 20 references
ComputingComputer ScienceMathematicsAlgebraLogicTheory Of ComputationAbstract AlgebraBoolean AlgebraBoolean OperationsComplexity TheoryComputational ComplexityStructural ComplexityAtomic Boolean AlgebrasBoolean EquationsBoolean HomomorphismsComplete Boolean AlgebrasComplexity-theoretic Reductions
20
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
Jack Edmonds · Canadian Journal of Mathematics · 1965 · 2.4K citations · Full text