Electronic Notes in Theoretical Computer Science, Volume 202

Volume 202, March 2008

• Ruth Dillhage, Tanja Grubba, Andrea Sorbi, Klaus Weihrauch, Ning Zhong:
  Preface. 1-2
  
• Hong Lu, Klaus Weihrauch:
  Computable Riesz Representation for Locally Compact Hausdorff Spaces. 3-12
  
• Philippe Moser:
  On the Convergence of Fourier Series of Computable Lebesgue Integrable Functions. 13-18
  
• Marian Baroni, Douglas Bridges:
  Continuity Properties of Preference Relations. 19-25
  
• Timothy McNicholl:
  Uniformly Computable Aspects of Inner Functions. 27-36
  
• Dimiter Skordev:
  e²-computability of e, pi and Other Famous Constants. 37-47
  
• Daniel S. Graça, Jorge Buescu, Manuel Lameiras Campagnolo:
  Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs. 49-57
  
• Victor L. Selivanov:
  On the Wadge Reducibility of k-Partitions. 59-71
  
• Stéphane Le Roux, Martin Ziegler:
  Singular Coverings and Non-Uniform Notions of Closed Set Computability. 73-88
  
• Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King:
  Effective Symbolic Dynamics. 89-99
  
• Xishun Zhao, Norbert Th. Müller:
  Complexity of Operators on Compact Sets. 101-119
  
• Ker-I Ko, Fuxiang Yu:
  On the Complexity of Convex Hulls of Subsets of the Two-Dimensional Plane. 121-135
  
• Volker Bosserhoff:
  Notions of Probabilistic Computability on Represented Spaces. 137-170
  
• J. Raymundo Marcial-Romero, M. Andrew Moshier:
  Sequential Real Number Computation and Recursive Relations. 171-189
  
• Gabriel Ciobanu, Danut Rusu:
  Supermetrics over Apartness Lattice-Ordered Semigroup. 191-200
  
• Prashant Batra:
  Newton's method and the Computational Complexity of the Fundamental Theorem of Algebra. 201-218
  
• Dianchen Lu, Qingyan Wang:
  Computing the Solution of the m-Korteweg-de Vries Equation on Turing Machines. 219-236
  
• Tanja Grubba, Klaus Weihrauch, Yatao Xu:
  Effectivity on Continuous Functions in Topological Spaces. 237-254
  
• Xizhong Zheng:
  Finitely Bounded Effective Computability. 255-265
  
• Matthias Schröder:
  On the Relationship between Filter Spaces and Weak Limit Spaces. 267-277
  
• Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii:
  Integral of Fine Computable functions and Walsh Fourier series. 279-293
  
• Jack H. Lutz, Klaus Weihrauch:
  Connectivity Properties of Dimension Level Sets. 295-304
  
• Andrei S. Morozov, Margarita V. Korovina:
  Remarks on Sigma-definability without the equality test over the Reals. 305-313
  
• Robert Rettinger:
  On the Computability of Blochs Constant. 315-322
  
• Satyadev Nandakumar:
  A Characterization of Constructive Dimension. 323-337
  
• Ruth Dillhage:
  Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus. 339-364
  
• Andrej Bauer, Iztok Kavkler:
  Implementing Real Numbers With RZ. 365-384
  
• Christoph Spandl:
  Computability of Topological Pressure for Shifts of Finite Type with Applications in Statistical Physics. 385-401