Journals in DBLP

Mathematical Structures in Computer Science
2007, volume: 17, number: 1

1. Bas Spitters, Herman Geuvers, Milad Niqui, Freek Wiedijk
   Preface to the special issue: Constructive analysis, types and exact real numbers. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:1- [Journal]
   
2. Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk
   Constructive analysis, types and exact real numbers. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:3-36 [Journal]
   
3. Yves Bertot
   Affine functions and series with co-inductive real numbers. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:37-63 [Journal]
   
4. Branimir Lambov
   RealLib: An efficient implementation of exact real arithmetic. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:81-98 [Journal]
   
5. Assia Mahboubi
   Implementing the cylindrical algebraic decomposition within the Coq system. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:99-127 [Journal]
   
6. Russell O'Connor
   A monadic, functional implementation of real numbers. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:129-159 [Journal]
   
7. Matthias Schröder, Alex Simpson
   Two preservation results for countable products of sequential spaces. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:161-172 [Journal]