Search the dblp DataBase

Publications of Author

1. Jens Blanck
   Effectivity of Regular Spaces. [Citation Graph (0, 0)][DBLP]
   CCA, 2000, pp:1-15 [Conf]
   
2. Jens Blanck
   Exact Real Arithmetic Systems: Results of Competition. [Citation Graph (0, 0)][DBLP]
   CCA, 2000, pp:389-394 [Conf]
   
3. Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker
   Streams, Stream Transformers and Domain Representations. [Citation Graph (0, 0)][DBLP]
   Prospects for Hardware Foundations, 1998, pp:27-68 [Conf]
   
4. Jens Blanck
   Domain Representability of Metric Spaces. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:83, n:3, pp:225-247 [Journal]
   
5. Jens Blanck
   Domain representations of topological spaces. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal]
   
6. 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]
   
7. Jens Blanck
   Exact real arithmetic using centred intervals and bounded error terms. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2006, v:66, n:1, pp:50-67 [Journal]
   
8. Jens Blanck
   Domain representations of topological spaces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:247, n:1-2, pp:229-255 [Journal]
   
9. Jens Blanck
   Effective Domain Representations of H(X), the Space of Compact Subsets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:219, n:1-2, pp:19-48 [Journal]
   
10. Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker
    Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:284, n:2, pp:207-240 [Journal]
    
11. 
    Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. [Citation Graph (, )][DBLP]
    
    
12. 
    Stability for Effective Algebras. [Citation Graph (, )][DBLP]