The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1999, volume: 210, number: 1

  1. 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]
  2. Vasco Brattka
    Computable Invariance. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:210, n:1, pp:3-20 [Journal]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002