Back to ComputerTerms See SemiDecidable Back to ComputerTerms