Buchi, Turing machines and the entscheidungsproblem
in [Logic]
|
From: Frederick Williams on 3 Nov 2009 13:10 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.
|
Pages: 1 Prev: Set Theoretical Approach for Special Relativity Next: EINSTEINSTIANA WHERE DAT BANANA BWANA |