Concepedia
1985 · 258 citations · 0 references
ComputingComputer ScienceAlgorithmsFormal MethodsTheory Of ComputationComplexity TheoryComputability TheoryComputational ComplexityComputational ModelsData-flow AnalysisDeductive VerificationMathematics In Computer ScienceRandomized Complexity Theory