๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Some Remarks on Uniform Halting Problems

โœ Scribed by Stephen L. Bloom


Publisher
John Wiley and Sons
Year
1971
Tongue
English
Weight
200 KB
Volume
17
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis


In RSOICER [l], the question was asked whether there is a TURING machine which halts on all "effectively generable" tapes but yet diverges on some tape. We make this question precise as follows. Let u be a function from the natural numbers N into N . Associate with a the two way infinite tape at of blanks (B's) and 1's; where or'= .


๐Ÿ“œ SIMILAR VOLUMES


Some Remarks on Toroidal Problems
โœ F. Cap ๐Ÿ“‚ Article ๐Ÿ“… 1978 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 414 KB ๐Ÿ‘ 1 views
Some Remarks on the k(GV) Problem
โœ G.R. Robinson ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 375 KB
Some remarks on domination
โœ D. Archdeacon; J. Ellis-Monaghan; D. Fisher; D. Froncek; P.C.B. Lam; S. Seager; ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 49 KB

## Abstract We prove a conjecture of Favaron et al. that every graph of order __n__ and minimum degree at least three has a total dominating set of size at least __n__/2. We also present several related results about: (1) extentions to graphs of minimum degree two, (2) examining graphs where the bo