The settling-time reducibility ordering
Work
Year: 2007
Type: article
Abstract: To each computable enumerable (c.e.) set A with a particular enumeration { A s } s ∈ω there is associated a settling function m A ( x ), where m A ( x ) is the last stage when a number less than or e... more
Source: Journal of Symbolic Logic
Authors Barbara F. Csima, Richard A. Shore
Institutions University of Waterloo, Cornell University
Cites: 11
Cited by: 4
Related to: 10
FWCI: 0.606
Citation percentile (by year/subfield): 55.3
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green