Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,026,198 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
2016
2016
West's North Dakota century code annotated : using the classification and numbering system of the North Dakota century code as amended.
Rithy DeMaio
2016
Corpus ID: 135089154
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
2007
2007
Methods and apparatus for handling segmentation and numbering of sdus in wireless communication systems
江孝祥
2007
Corpus ID: 150307786
A method for handling segmentation and numbering of protocol data units (PDUs) in a radio link control (RLC) entity (306) of a…
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
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
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