Matches in SemOpenAlex for { <https://semopenalex.org/work/W1976173743> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1976173743 endingPage "87" @default.
- W1976173743 startingPage "77" @default.
- W1976173743 abstract "Some consequences of Blum's axioms for step counting functions are investigated. Blum has suggested in [1, p. 335] that for the operation of self-composition there is no strong gap, i.e.,∃j[t(x)<Φj(x)<tt(x)i.o.] In this paper a more general result is proved showing that for general recursive operators H[] satisfying certain weak conditions, there is no strong gap, i.e., there exists a program Pj with step counting function Φj lying between t(x) and H[t()](x) infinitely often. The result for self-composition follows as a corollary. This result is a stronger and machine-independent version of Constable's results for Turing machines." @default.
- W1976173743 created "2016-06-24" @default.
- W1976173743 creator A5045880519 @default.
- W1976173743 date "1972-02-01" @default.
- W1976173743 modified "2023-10-18" @default.
- W1976173743 title "Effective operators with no strong gaps*" @default.
- W1976173743 cites W1551612278 @default.
- W1976173743 cites W2015666295 @default.
- W1976173743 cites W2089442854 @default.
- W1976173743 cites W2530006810 @default.
- W1976173743 cites W2543655845 @default.
- W1976173743 doi "https://doi.org/10.1016/s0022-0000(72)80040-0" @default.
- W1976173743 hasPublicationYear "1972" @default.
- W1976173743 type Work @default.
- W1976173743 sameAs 1976173743 @default.
- W1976173743 citedByCount "0" @default.
- W1976173743 crossrefType "journal-article" @default.
- W1976173743 hasAuthorship W1976173743A5045880519 @default.
- W1976173743 hasConcept C11413529 @default.
- W1976173743 hasConcept C114614502 @default.
- W1976173743 hasConcept C118615104 @default.
- W1976173743 hasConcept C138885662 @default.
- W1976173743 hasConcept C14036430 @default.
- W1976173743 hasConcept C167729594 @default.
- W1976173743 hasConcept C199360897 @default.
- W1976173743 hasConcept C2524010 @default.
- W1976173743 hasConcept C2780012671 @default.
- W1976173743 hasConcept C29248071 @default.
- W1976173743 hasConcept C33923547 @default.
- W1976173743 hasConcept C40231798 @default.
- W1976173743 hasConcept C41008148 @default.
- W1976173743 hasConcept C41895202 @default.
- W1976173743 hasConcept C45374587 @default.
- W1976173743 hasConcept C78458016 @default.
- W1976173743 hasConcept C86803240 @default.
- W1976173743 hasConcept C9870796 @default.
- W1976173743 hasConceptScore W1976173743C11413529 @default.
- W1976173743 hasConceptScore W1976173743C114614502 @default.
- W1976173743 hasConceptScore W1976173743C118615104 @default.
- W1976173743 hasConceptScore W1976173743C138885662 @default.
- W1976173743 hasConceptScore W1976173743C14036430 @default.
- W1976173743 hasConceptScore W1976173743C167729594 @default.
- W1976173743 hasConceptScore W1976173743C199360897 @default.
- W1976173743 hasConceptScore W1976173743C2524010 @default.
- W1976173743 hasConceptScore W1976173743C2780012671 @default.
- W1976173743 hasConceptScore W1976173743C29248071 @default.
- W1976173743 hasConceptScore W1976173743C33923547 @default.
- W1976173743 hasConceptScore W1976173743C40231798 @default.
- W1976173743 hasConceptScore W1976173743C41008148 @default.
- W1976173743 hasConceptScore W1976173743C41895202 @default.
- W1976173743 hasConceptScore W1976173743C45374587 @default.
- W1976173743 hasConceptScore W1976173743C78458016 @default.
- W1976173743 hasConceptScore W1976173743C86803240 @default.
- W1976173743 hasConceptScore W1976173743C9870796 @default.
- W1976173743 hasIssue "1" @default.
- W1976173743 hasLocation W19761737431 @default.
- W1976173743 hasOpenAccess W1976173743 @default.
- W1976173743 hasPrimaryLocation W19761737431 @default.
- W1976173743 hasRelatedWork W2000251377 @default.
- W1976173743 hasRelatedWork W2017331178 @default.
- W1976173743 hasRelatedWork W2037124586 @default.
- W1976173743 hasRelatedWork W2085440561 @default.
- W1976173743 hasRelatedWork W2120797099 @default.
- W1976173743 hasRelatedWork W2145708185 @default.
- W1976173743 hasRelatedWork W2952132687 @default.
- W1976173743 hasRelatedWork W3211825255 @default.
- W1976173743 hasRelatedWork W4205822254 @default.
- W1976173743 hasRelatedWork W84059949 @default.
- W1976173743 hasVolume "6" @default.
- W1976173743 isParatext "false" @default.
- W1976173743 isRetracted "false" @default.
- W1976173743 magId "1976173743" @default.
- W1976173743 workType "article" @default.