Concepedia
1983 · 70 citations · 0 references
ComputingComputer ScienceAlgorithmsProgramming LanguagesTheory Of ComputationAutomata TheoryChurch-turing ThesisComplexity TheoryComputational ComplexityComputational ModelsModel TheoryComputational Complexity Of LanguagesImmerman-szelepcsényi TheoremRecursion Theorem