Co-Récursivement Énumérable

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Classe d'ensembles dont les complémentaires sont récursivement énumérables ; équivalemment, problèmes pour lesquels la non-appartenance peut être semi-décidée par une procédure effective qui s'arrête sur les instances négatives.