A Mechanical Proof of the Unsolvability of the Halting Problem.
| Autor: | Boyer, Robert S., Moore, J. Strother |
|---|---|
| Zdroj: | Journal of the ACM; Jun1984, Vol. 31 Issue 3, p441-458, 18p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Boyer, Robert S., Moore, J. Strother |
|---|---|
| Zdroj: | Journal of the ACM; Jun1984, Vol. 31 Issue 3, p441-458, 18p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|