Electronic Notes in Theoretical Computer Science, Volume 221

Volume 221, December 2008

• Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch:
  Preface. 1
  
• Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker:
  Stability for Effective Algebras. 3-15
  
• Volker Bosserhoff:
  On the Effective Existence of Schauder Bases: (Extended Abstract). 17-21
  
• Manuel Lameiras Campagnolo, Kerry Ojakian:
  Characterizing Computable Analysis with Differential Equations. 23-35
  
• Pieter Collins:
  Computability and Representations of the Zero Set. 37-43
  
• Ruth Dillhage, Vasco Brattka:
  Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces. 45-60
  
• Willem L. Fouché:
  An Algorithmic Construction of Quantum Circuits of High Descriptive Complexity. 61-69
  
• Christine Gaßner:
  On Relativizations of the P =? NP Question for Several Structures. 71-83
  
• Guido Gherardi, Alberto Marcone:
  How Incomputable is the Separable Hahn-Banach Theorem? 85-102
  
• Pieter Collins, Daniel S. Graça:
  Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach. 103-114
  
• Margarita V. Korovina, Oleg V. Kudinov:
  Towards Computability over Effectively Enumerable Topological Spaces. 115-125
  
• Valentin V. Andreev, Dale Daniel, Timothy H. McNicholl:
  Technical Report: Computation on the Extended Complex Plane and Conformal Mapping of Multiply-connected Domains. 127-139
  
• Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii:
  Integral of Two-dimensional Fine-computable Functions. 141-152
  
• Martin Ziegler, Wouter M. Koolen:
  Kolmogorov Complexity Theory over the Reals. 153-169
  
• Davorin Lesnik:
  Constructive Urysohn's Universal Metric Space. 171-179
  
• Jöran Mielke:
  Refined Bounds on Kolmogorov Complexity for omega-Languages. 181-189
  
• Norbert Th. Müller, Xishun Zhao:
  Jordan Areas and Grids. 191-206
  
• Robert Rettinger:
  Lower Bounds on the Continuation of Holomorphic Functions. 207-217
  
• Robert Rettinger, Klaus Weihrauch, Ning Zhong:
  Complexity of Blowup Problems: Extended Abstract. 219-230
  
• Matthias Schröder:
  An Effective Tietze-Urysohn Theorem for QCB-Spaces: (Extended Abstract). 231-242
  
• Svetlana Selivanova, Victor L. Selivanov:
  Computing Solutions of Symmetric Hyperbolic Systems of PDE's. 243-255
  
• Victor L. Selivanov:
  On the Difference Hierarchy in Countably Based T₀-Spaces. 257-269
  
• Dieter Spreen:
  On the Continuity of Effective Multifunctions. 271-286
  
• Ludwig Staiger:
  On Oscillation-free epsilon-random Sequences. 287-297
  
• Hideki Tsuiki, Shuji Yamada:
  On Finite-time Computability Preserving Conversions. 299-308