DSpace Repository

Browsing 13.Materials of Forums, Conferences and Projects by Subject "types"

Browsing 13.Materials of Forums, Conferences and Projects by Subject "types"

Sort by: Order: Results:

  • Mustafa, M. (Nazarbayev University, 2014)
    The reductions constructed permit to give various alternative proofs to known results about d.r.e. and, in general,a-r.e. numberings. For example, one can show that for every recursive ordinal a which is not an w-power ...