Electronic Notes in Theoretical Computer Science, Volume 167

Volume 167, January 2007

• Douglas Cenzer, Ruth Dillhage, Tanja Grubba, Klaus Weihrauch:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Timothy McNicholl:
  Computability and the Implicit Function Theorem. 3-15
  Electronic Edition (link) BibTeX
• George Barmpalias, Antonio Montalbán:
  A Cappable Almost Everywhere Dominating Computably Enumerable Degree. 17-31
  Electronic Edition (link) BibTeX
• Klaus Weihrauch, Ning Zhong:
  Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I). 33-59
  Electronic Edition (link) BibTeX
• Matthias Schröder:
  Admissible Representations of Probability Measures. 61-78
  Electronic Edition (link) BibTeX
• Johanna N. Y. Franklin:
  Schnorr Trivial Reals: A construction. 79-93
  Electronic Edition (link) BibTeX
• Fuxiang Yu:
  On the Complexity of the Pancake Problem. 95-115
  Electronic Edition (link) BibTeX
• Laurent Bienvenu, Wolfgang Merkle:
  Effective Randomness for Computable Probability Measures. 117-130
  Electronic Edition (link) BibTeX
• Christoph Spandl:
  Computing the Topological Entropy of Shifts. 131-155
  Electronic Edition (link) BibTeX
• Hong Lu, Klaus Weihrauch:
  Computable Riesz Representation for the Dual of C. 157-177
  Electronic Edition (link) BibTeX
• Volker Bosserhoff:
  Computability of Solutions of Operator Equations. 179-202
  Electronic Edition (link) BibTeX
• Douglas Cenzer, Peter G. Hinman:
  Medvedev Degrees of Generalized R.E. separating Classes. 203-223
  Electronic Edition (link) BibTeX
• Robert S. Lubarsky:
  On the Cauchy Completeness of the Constructive Cauchy Reals. 225-254
  Electronic Edition (link) BibTeX
• Martin Ziegler:
  Revising Type-2 Computation and Degrees of Discontinuity. 255-274
  Electronic Edition (link) BibTeX
• Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel:
  Random Continuous Functions. 275-287
  Electronic Edition (link) BibTeX
• Paul Brodhead:
  Enumerations of Pi₁⁰ Classes: Acceptability and Decidable Classes. 289-301
  Electronic Edition (link) BibTeX
• Qingliang Chen, Kaile Su, Xizhong Zheng:
  Primitive Recursiveness of Real Numbers under Different Representations. 303-324
  Electronic Edition (link) BibTeX
• Xizhong Zheng:
  Classification of the Computable Approximations by Divergence Boundings. 325-344
  Electronic Edition (link) BibTeX
• Tanja Grubba, Klaus Weihrauch:
  On Computable Metrization. 345-364
  Electronic Edition (link) BibTeX
• Vasco Brattka, Ruth Dillhage:
  On Computable Compact Operators on Banach Spaces. 365-386
  Electronic Edition (link) BibTeX
• Manuel Lameiras Campagnolo, Kerry Ojakian:
  The Methods of Approximation and Lifting in Real Computation. 387-423
  Electronic Edition (link) BibTeX
• Ker-I Ko, Fuxiang Yu:
  Jordan Curves with Polynomial Inverse Moduli of Continuity. 425-447
  Electronic Edition (link) BibTeX