Foundations of Computer Science · 1994 · 651 citations · 0 references
ComputingComputer EngineeringComputer ScienceAlgorithmsFormal MethodsTheory Of ComputationComplexity TheoryComputability TheoryComputational ComplexityData ParallelismDeductive VerificationDistributed ComputingCompleteness ResultsComplexity-theoretic ReductionsHierarchy TheoremsMaekawa's AlgorithmParameterized Complexity Classes