Reductions between types of numberings
10.1016/j.apal.2019.102716
Saved in:
Main Authors: | , , , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
Elsevier B.V.
2020
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/177519 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-177519 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-1775192024-04-25T01:32:10Z Reductions between types of numberings Herbert I. Jain S. Lempp S. Mustafa M. Stephan F. DEPARTMENT OF COMPUTER SCIENCE MATHEMATICS n-r.e. sets Ordinals in recursion theory Recursively enumerable sets Reducibilities between numberings Theory of numberings in the difference hierarchy 10.1016/j.apal.2019.102716 Annals of Pure and Applied Logic 170 12 102716 2020-10-15T07:41:00Z 2020-10-15T07:41:00Z 2019 Article Herbert I., Jain S., Lempp S., Mustafa M., Stephan F. (2019). Reductions between types of numberings. Annals of Pure and Applied Logic 170 (12) : 102716. ScholarBank@NUS Repository. https://doi.org/10.1016/j.apal.2019.102716 0168-0072 https://scholarbank.nus.edu.sg/handle/10635/177519 Elsevier B.V. |
institution |
National University of Singapore |
building |
NUS Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
collection |
ScholarBank@NUS |
topic |
n-r.e. sets Ordinals in recursion theory Recursively enumerable sets Reducibilities between numberings Theory of numberings in the difference hierarchy |
spellingShingle |
n-r.e. sets Ordinals in recursion theory Recursively enumerable sets Reducibilities between numberings Theory of numberings in the difference hierarchy Herbert I. Jain S. Lempp S. Mustafa M. Stephan F. Reductions between types of numberings |
description |
10.1016/j.apal.2019.102716 |
author2 |
DEPARTMENT OF COMPUTER SCIENCE |
author_facet |
DEPARTMENT OF COMPUTER SCIENCE Herbert I. Jain S. Lempp S. Mustafa M. Stephan F. |
format |
Article |
author |
Herbert I. Jain S. Lempp S. Mustafa M. Stephan F. |
author_sort |
Herbert I. |
title |
Reductions between types of numberings |
title_short |
Reductions between types of numberings |
title_full |
Reductions between types of numberings |
title_fullStr |
Reductions between types of numberings |
title_full_unstemmed |
Reductions between types of numberings |
title_sort |
reductions between types of numberings |
publisher |
Elsevier B.V. |
publishDate |
2020 |
url |
https://scholarbank.nus.edu.sg/handle/10635/177519 |
_version_ |
1800914445708296192 |