


default search action
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 - Vasco Brattka

:
Computable Invariance. 3-20 - Olivier Bournez

:
Achilles and the Tortoise Climbing up the Hyper-Arithmetical Hierarchy. 21-71 - Abbas Edalat, Philipp Sünderhauf:

A Domain-Theoretic Approach to Computability on the Real Line. 73-98 - Chun-Kuen Ho:

Relatively Recursive Reals and Real Functions. 99-120 - Martín Hötzel Escardó

, Thomas Streicher:
Induction and Recursion on the Partial Real Line with Applications to Real PCF. 121-157 - Taoufik Safer:

Polygonal Radix Representations of Complex Numbers. 159-171 - Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Pan, Sylvain Pion:

Sign Determination in Residue Number Systems. 173-197 - Joris van der Hoeven

:
Fast Evaluation of Holonomic Functions. 199-215 - Pascal Koiran, Cristopher Moore

:
Closed-for Analytic Maps in One and Two Dimensions can Simulate Universal Turing Machines. 217-223
Volume 210, Number 2, 17 January 1999
- Satoru Miyano:

Foreword: Genome Informatics. 225-226 - Yasubumi Sakakibara, Claudio Ferretti

:
Splicing on Tree-Like Structures. 227-243 - Shinichi Shimozono:

Alphabet Indexing for Approximating Features of Symbols. 245-260 - Tatsuya Akutsu

, Satoru Miyano:
On the Approximation of Protein Threading. 261-275 - Yasuo Uemura, Aki Hasegawa, Satoshi Kobayashi, Takashi Yokomori:

Tree Adjoining Grammars for RNA Structure Prediction. 277-303 - Hideo Matsuda

, T. Ishihara, Akihiro Hashimoto:
Classifying Molecular Sequences Using a Linkage Graph With Their Pairwise Similarities. 305-325 - Qian-Ping Gu, Shietung Peng, Ivan Hal Sudborough:

A 2-Approximation Algorithm for Genome Rearrangements by Reversals and Transpositions. 327-339 - 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














