 |
del.icio.us |
 |
Digg |
 |
Furl |
 |
|
 |
Rojo |
| Add to OnlyWire |
Co-RE is the set of all languages that are complements of a language in RE. In a sense, Co-RE contains languages of which membership can be disproved in a finite amount of time, but proving membership might take forever.
|
|||||
