Concepedia
Information Processing Letters · 1980 · 687 citations · 0 references
ComputingComputer EngineeringComputer ScienceAlgorithmsTheory Of ComputationTermination AnalysisNontermination AnalysisTermination Detection