Репозиторий NUR

Просмотр 13.Materials of Forums, Conferences and Projects по автору "Mustafa, M."

Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.

Просмотр 13.Materials of Forums, Conferences and Projects по автору "Mustafa, M."

Отсортировать по:Порядку:Результатам:

  • Operator on types of numberings 
    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 ...