default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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.
last updated on 2025-01-09 11:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
