|
| Science Forum Index » Logic Forum » Buchi, Turing machines and the entscheidungsproblem... |
|
Page 1 of 1 |
|
| Author |
Message |
| Frederick Williams... |
 Posted: Tue Nov 03, 2009 1:10 pm |
|
|
|
Guest
|
If J.R. Buchi, Turing machines and the entscheidungsproblem,
Mathematische Annalen, vol 148, pp 201–213, 1962 is available for free
somewhere on the Internet I won't object if someone tells me where.
--
Which of the seven heavens / Was responsible her smile /
Wouldn't be sure but attested / That, whoever it was, a god /
Worth kneeling-to for a while / Had tabernacled and rested. |
|
|
| Back to top |
|
|
|
|
|
All times are GMT - 5 Hours
The time now is Sun Nov 29, 2009 12:34 am
|
|
