Timeline for a proof that L_min is not in coRE?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 13, 2010 at 0:14 | history | edited | Ryan Williams | CC BY-SA 2.5 |
fixed latex; added 16 characters in body
|
| Jan 13, 2010 at 0:08 | history | answered | Ryan Williams | CC BY-SA 2.5 |