Timeline for Provability of termination. Whats wrong with my reasoning?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 17, 2010 at 21:31 | comment | added | Joel David Hamkins | +1 . | |
| Apr 17, 2010 at 10:07 | vote | accept | user5415 | ||
| Apr 16, 2010 at 21:38 | history | answered | JBL | CC BY-SA 2.5 |