Journals in DBLP

Theor. Comput. Sci.
1996, volume: 162, number: 1

1. Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller, Gilles Villard
   Forword to the Special Issue on Real Numbers and Computers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:162, n:1, pp:1-3 [Journal]
   
2. Sebastiano Vigna
   On the Relations between Distributive Computability and the BSS Model. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:162, n:1, pp:5-21 [Journal]
   
3. Cristopher Moore
   Recursion Theory on the Reals and Continuous-Time Computation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:162, n:1, pp:23-44 [Journal]
   
4. Vasco Brattka
   Recursive Characterization of Computable Real-Valued Functions and Relations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:162, n:1, pp:45-77 [Journal]
   
5. Martín Hötzel Escardó
   PCF Extended with Real Numbers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:162, n:1, pp:79-115 [Journal]
   
6. Hratchia Pélibossian
   On the Linearity of On-Line Computable Functions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:162, n:1, pp:117-132 [Journal]
   
7. Nathalie Revol, Jean-Louis Roch
   Parallel Evaluation of Arithmetic Circuits. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:162, n:1, pp:133-150 [Journal]
   
8. Alexander I. Mikov
   Large-Scale Addition of Machine Real Numbers: Accuracy Estimates. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:162, n:1, pp:151-170 [Journal]