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