Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,232,842 papers from all fields of science
Search
Sign In
Create Free Account
Numbering (computability theory)
Known as:
Total numbering
, Comparision of numberings
, Effective numbering
Expand
In computability theory a numbering is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Admissible numbering
Complete numbering
Computable function
Computable isomorphism
Expand
Broader (2)
Computability theory
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Numerically Balanced Dice
R. Bosch
,
R. Fathauer
,
Henry Segerman
2017
Corpus ID: 126006275
We discuss what it might mean for a die to be numerically balanced, explore connections with magic squares, and present integer…
Expand
2015
2015
Witchcraft, witch killings and Christianity : The works of religion and parallel cosmologies in Tanzania
T. Oestigaard
2015
Corpus ID: 171376262
Witchcraft, witch killings and Christianity : The works of religion and parallel cosmologies in Tanzania
2013
2013
The Study of Univocal and Polisemantic Words from “The Albanian Nowdays Language Dictionary” 1980 to “The Albanian Language Dictionary” 2006
Jonida Cungu
2013
Corpus ID: 62705724
The lexical structure of the word is open and changeable, which is always associated by the different of the time. These changes…
Expand
2012
2012
Pit House Architecture in the Puerco Valley AD 600--900: Form, Function, and Cultural Identity
Kellam Throgmorton
2012
Corpus ID: 126513691
Throgmorton, Kellam J. (M.A., Anthropology) Pit House Architecture in the Puerco Valley AD 600-900: Form, Function, and Cultural…
Expand
2003
2003
Path-expression Queries over Multiversion XML Documents
Zografoula Vagena
,
V. Tsotras
International Workshop on the Web and Databases
2003
Corpus ID: 15462795
In this paper we address the problem of evaluating path expression queries on multiversion XML documents. Such queries are…
Expand
2001
2001
E PLURIBUS ENUM: Unifying International Telecommunications Networks and Governance
C. McTaggart
arXiv.org
2001
Corpus ID: 24837932
ENUM effectively bridges the telephone and Internet worlds by placing telephone numbers from the ITU Rec. E.164 public…
Expand
1988
1988
INTRODUC1"ION TO "NUTRIENT COMPOSITION OF MALAYSIAN FOODS, 1988"
T. Siong
,
Ismail Noor
,
N. Azudin
1988
Corpus ID: 62298124
format used in the table, and discusses several aspects related to the use of the The systematic programme for the data…
Expand
1988
1988
An Analysis of Vector Startup Access Delays
D. Calahan
IEEE Trans. Computers
1988
Corpus ID: 43763586
In a multiport memory access vector processor such as the CRAY X-MP, the numbering of section (lines) relative to bank numbering…
Expand
Review
1976
Review
1976
A plan for study of water and its relation to economic development in the Green River and Great Divide Basins in Wyoming
H. Lowham
,
L. Long
,
K. D. Peter
,
D. Wangsness
,
W. J. Head
,
B. H. Ringen
1976
Corpus ID: 128178417
Development of extensive coal, oil, gas, trona, and oil-sha.le resources as well as other developments in the Green River and…
Expand
1970
1970
Identifying Individual Responses During Classroom Interaction.
E. Wragg
1970
Corpus ID: 60205792
One of the problems of collecting interaction data is the difficulty of identifying individual children as they respond. It is…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE