Theoretical Computer Science, Volume 210

Volume 210, Number 1, 6 January 1999

• Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller:
  Foreword: Real Numbers and Computers. 1-2
  Electronic Edition (link) BibTeX
• Vasco Brattka:
  Computable Invariance. 3-20
  Electronic Edition (link) BibTeX
• Olivier Bournez:
  Achilles and the Tortoise Climbing up the Hyper-Arithmetical Hierarchy. 21-71
  Electronic Edition (link) BibTeX
• Abbas Edalat, Philipp Sünderhauf:
  A Domain-Theoretic Approach to Computability on the Real Line. 73-98
  Electronic Edition (link) BibTeX
• Chun-Kuen Ho:
  Relatively Recursive Reals and Real Functions. 99-120
  Electronic Edition (link) BibTeX
• Martín Hötzel Escardó, Thomas Streicher:
  Induction and Recursion on the Partial Real Line with Applications to Real PCF. 121-157
  Electronic Edition (link) BibTeX
• Taoufik Safer:
  Polygonal Radix Representations of Complex Numbers. 159-171
  Electronic Edition (link) BibTeX
• Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Pan, Sylvain Pion:
  Sign Determination in Residue Number Systems. 173-197
  Electronic Edition (link) BibTeX
• Joris van der Hoeven:
  Fast Evaluation of Holonomic Functions. 199-215
  Electronic Edition (link) BibTeX
• Pascal Koiran, Cristopher Moore:
  Closed-for Analytic Maps in One and Two Dimensions can Simulate Universal Turing Machines. 217-223
  Electronic Edition (link) BibTeX

Volume 210, Number 2, 17 January 1999

• Satoru Miyano:
  Foreword: Genome Informatics. 225-226
  Electronic Edition (link) BibTeX
• Yasubumi Sakakibara, Claudio Ferretti:
  Splicing on Tree-Like Structures. 227-243
  Electronic Edition (link) BibTeX
• Shinichi Shimozono:
  Alphabet Indexing for Approximating Features of Symbols. 245-260
  Electronic Edition (link) BibTeX
• Tatsuya Akutsu, Satoru Miyano:
  On the Approximation of Protein Threading. 261-275
  Electronic Edition (link) BibTeX
• Yasuo Uemura, Aki Hasegawa, Satoshi Kobayashi, Takashi Yokomori:
  Tree Adjoining Grammars for RNA Structure Prediction. 277-303
  Electronic Edition (link) BibTeX
• Hideo Matsuda, T. Ishihara, Akihiro Hashimoto:
  Classifying Molecular Sequences Using a Linkage Graph With Their Pairwise Similarities. 305-325
  Electronic Edition (link) BibTeX
• Qian-Ping Gu, Shietung Peng, Ivan Hal Sudborough:
  A 2-Approximation Algorithm for Genome Rearrangements by Reversals and Transpositions. 327-339
  Electronic Edition (link) BibTeX
• Takahiro Ikeda, Hiroshi Imai:
  Enhanced A* Algorithms for Multiple Alignments: Optimal Alignments for Several Sequences and k-Opt Approximate Alignments for Large Cases. 341-374
  Electronic Edition (link) BibTeX