Timeline for Program analysis for Turing machines
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 10, 2017 at 14:53 | comment | added | Timothy Chow | Neel Krishnaswami's answer to a related question on cstheory.stackexchange may be relevant. He gives some pointers to the literature on program termination. cstheory.stackexchange.com/questions/4016/… | |
| Aug 9, 2017 at 20:21 | answer | added | Joseph O'Rourke | timeline score: 2 | |
| Aug 9, 2017 at 17:28 | history | asked | user76284 | CC BY-SA 3.0 |