Co-RE-complete

From Wikipedia, the free encyclopedia

CO-RE-complete is the set of decision problems that are complete for the complexity class co-RE. In a sense, these are the complements of the "hardest" recursively enumerable problems.



In other languages