Journals in DBLP

J. Log. Algebr. Program.
2005, volume: 64, number: 1

1. Norbert Th. Müller, Martin Escardo, Paul Zimmermann
   Guest editors' introduction: Special issue on practical development of exact real number computation. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:1, pp:1-2 [Journal]
   
2. Hans-Juergen Boehm
   The constructive reals as a Java library. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:1, pp:3-11 [Journal]
   
3. Valérie Ménissier-Morain
   Arbitrary precision real arithmetic: design and algorithms. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:1, pp:13-39 [Journal]
   
4. Jens Blanck
   Efficient exact computation of iterated maps. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:1, pp:41-59 [Journal]
   
5. Hideki Tsuiki
   Real number computation with committed choice logic programming languages. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:1, pp:61-84 [Journal]
   
6. Chen Li 0003, Sylvain Pion, Chee-Keng Yap
   Recent progress in exact geometric computation. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:1, pp:85-111 [Journal]
   
7. Mark Sofroniou, Giulia Spaletta
   Precise numerical computation. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:1, pp:113-134 [Journal]
   
8. Nathalie Revol, Kyoko Makino, Martin Berz
   Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:64, n:1, pp:135-154 [Journal]