1994 · 595 citations · 0 references
ComputingComputer ScienceAlgorithmsFormal MethodsTheory Of ComputationComplexity TheoryComputational ComplexityComputational ModelsParallel Tree AlgorithmsRecursion TheoryStructural ComplexityCompleteness ResultsComplexity HierarchiesComplexity-theoretic ReductionsHierarchy TheoremsMathematics In Computer ScienceTime Hierarchy Theorems