Effective operators with no strong gaps*

  • Authors:

  • Andy N. C. Kang

  • Affiliations:

  • -

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 1972

Quantified Score

Hi-index 0.01

Visualization

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)