Author:
Defrain Oscar,Durand Bruno,Lafitte Grégory
Publisher
Springer International Publishing
Reference10 articles.
1. Perspectives in Mathematical Logic;J Barwise,1975
2. Brady, A.H.: The conjectured highest scoring machines for Radó’s
$${\varSigma }(k)$$
for the value
$$k=4$$
. IEEE Trans. Electron. Comput. EC 15(5), 802–803 (1966)
3. Brady, A.H.: The determination of the value of Radó’s noncomputable function
$${\varSigma }(k)$$
for four-state turing machines. Math. Comput. 40(162), 647–665 (1983)
4. Brady, A.H.: The busy beaver game and the meaning of life. In: Herken, R. (ed.) The Universal Turing Machine: A Half-Century Survey, 2nd edn, pp. 237–254. Springer, New York (1995)
5. Durand, B., Lafitte, G.: A constructive swissknife for infinite time turing machines (2016)