Journals in DBLP
Peter Kornerup , Jean-Claude Bajard , Christiane Frougny , Jean-Michel Muller Preface. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:291, n:2, pp:133-134 [Journal ] Guillaume Hanrot , Joël Rivat , G. Tenenbaum , Paul Zimmermann Density results on floating-point invertible numbers. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:291, n:2, pp:135-141 [Journal ] Marc Daumas , Philippe Langlois Additive symmetries: the non-negative case. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:291, n:2, pp:143-157 [Journal ] David W. Matula , Lee D. McFearin A p×p bit fraction model of binary floating point division and extremal rounding cases. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:291, n:2, pp:159-182 [Journal ] Avi Ziv , Laurent Fournier Solving the generalized mask constraint for test generation of binary floating point add operation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:291, n:2, pp:183-201 [Journal ] David Lester , Paul Gowland Using PVS to validate the algorithms of an exact arithmetic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:291, n:2, pp:203-218 [Journal ]