Ko-Rekursiv Aufzählbar

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Klasse von Mengen, deren Komplement rekursiv aufzählbar ist; äquivalent: Probleme, für die Nicht-Zugehörigkeit semi-entscheidbar ist durch ein Verfahren, das bei negativen Instanzen hält.