User loginNavigation |
The Halting Problem and Program Proving AlgorithmsIs there any literature that investigates the abilities and limitations of Program Proving software in relationship to the halting problem? It seems like there is a relationship there that would warrant investigation, but I wasn't aware of where to find literature on the subject. Thanks! By johnnyb at 2010-06-27 03:36 | LtU Forum | previous forum topic | next forum topic | other blogs | 5171 reads
|
Browse archives
Active forum topics |
Recent comments
10 weeks 4 days ago
10 weeks 4 days ago
10 weeks 4 days ago
16 weeks 5 days ago
1 year 4 weeks ago
1 year 4 weeks ago
1 year 4 weeks ago
1 year 27 weeks ago
1 year 31 weeks ago
1 year 32 weeks ago