Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950045384> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2950045384 abstract "The halting problem for Turing machines is decidable on a set of asymptotic probability one. Specifically, there is a set B of Turing machine programs such that (i) B has asymptotic probability one, so that as the number of states n increases, the proportion of all n-state programs that are in B goes to one; (ii) B is polynomial time decidable; and (iii) the halting problem H intersect B is polynomial time decidable. The proof is sensitive to the particular computational model." @default.
- W2950045384 created "2019-06-27" @default.
- W2950045384 creator A5053146474 @default.
- W2950045384 creator A5078404862 @default.
- W2950045384 date "2005-04-18" @default.
- W2950045384 modified "2023-09-27" @default.
- W2950045384 title "The halting problem is decidable on a set of asymptotic probability one" @default.
- W2950045384 cites W2049742719 @default.
- W2950045384 hasPublicationYear "2005" @default.
- W2950045384 type Work @default.
- W2950045384 sameAs 2950045384 @default.
- W2950045384 citedByCount "0" @default.
- W2950045384 crossrefType "posted-content" @default.
- W2950045384 hasAuthorship W2950045384A5053146474 @default.
- W2950045384 hasAuthorship W2950045384A5078404862 @default.
- W2950045384 hasConcept C11413529 @default.
- W2950045384 hasConcept C114614502 @default.
- W2950045384 hasConcept C118615104 @default.
- W2950045384 hasConcept C131671149 @default.
- W2950045384 hasConcept C137343475 @default.
- W2950045384 hasConcept C153269930 @default.
- W2950045384 hasConcept C177264268 @default.
- W2950045384 hasConcept C179061269 @default.
- W2950045384 hasConcept C199360897 @default.
- W2950045384 hasConcept C29248071 @default.
- W2950045384 hasConcept C311688 @default.
- W2950045384 hasConcept C33923547 @default.
- W2950045384 hasConcept C41008148 @default.
- W2950045384 hasConcept C45374587 @default.
- W2950045384 hasConcept C48103436 @default.
- W2950045384 hasConcept C9870796 @default.
- W2950045384 hasConceptScore W2950045384C11413529 @default.
- W2950045384 hasConceptScore W2950045384C114614502 @default.
- W2950045384 hasConceptScore W2950045384C118615104 @default.
- W2950045384 hasConceptScore W2950045384C131671149 @default.
- W2950045384 hasConceptScore W2950045384C137343475 @default.
- W2950045384 hasConceptScore W2950045384C153269930 @default.
- W2950045384 hasConceptScore W2950045384C177264268 @default.
- W2950045384 hasConceptScore W2950045384C179061269 @default.
- W2950045384 hasConceptScore W2950045384C199360897 @default.
- W2950045384 hasConceptScore W2950045384C29248071 @default.
- W2950045384 hasConceptScore W2950045384C311688 @default.
- W2950045384 hasConceptScore W2950045384C33923547 @default.
- W2950045384 hasConceptScore W2950045384C41008148 @default.
- W2950045384 hasConceptScore W2950045384C45374587 @default.
- W2950045384 hasConceptScore W2950045384C48103436 @default.
- W2950045384 hasConceptScore W2950045384C9870796 @default.
- W2950045384 hasLocation W29500453841 @default.
- W2950045384 hasOpenAccess W2950045384 @default.
- W2950045384 hasPrimaryLocation W29500453841 @default.
- W2950045384 hasRelatedWork W1506210129 @default.
- W2950045384 hasRelatedWork W153129168 @default.
- W2950045384 hasRelatedWork W1630184508 @default.
- W2950045384 hasRelatedWork W1751131962 @default.
- W2950045384 hasRelatedWork W1771707026 @default.
- W2950045384 hasRelatedWork W1859059663 @default.
- W2950045384 hasRelatedWork W1968622170 @default.
- W2950045384 hasRelatedWork W2016206563 @default.
- W2950045384 hasRelatedWork W2017603160 @default.
- W2950045384 hasRelatedWork W2034018160 @default.
- W2950045384 hasRelatedWork W2042752581 @default.
- W2950045384 hasRelatedWork W2154274309 @default.
- W2950045384 hasRelatedWork W2766566192 @default.
- W2950045384 hasRelatedWork W3012040074 @default.
- W2950045384 hasRelatedWork W3033311762 @default.
- W2950045384 hasRelatedWork W3042958986 @default.
- W2950045384 hasRelatedWork W3123946441 @default.
- W2950045384 hasRelatedWork W3143710704 @default.
- W2950045384 hasRelatedWork W3206503250 @default.
- W2950045384 hasRelatedWork W63776376 @default.
- W2950045384 isParatext "false" @default.
- W2950045384 isRetracted "false" @default.
- W2950045384 magId "2950045384" @default.
- W2950045384 workType "article" @default.