Search the dblp DataBase

Publications of Author

1. Benedikt Löwe
   Space Bounds for Infinitary Computation. [Citation Graph (0, 0)][DBLP]
   CiE, 2006, pp:319-329 [Conf]
   
2. Benedikt Löwe
   Revision Forever! [Citation Graph (0, 0)][DBLP]
   ICCS, 2006, pp:22-36 [Conf]
   
3. Benedikt Löwe, Darko Sarenac
   Cardinal spaces and topological representations of bimodal logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2005, v:13, n:3, pp:301-306 [Journal]
   
4. Jörg Brendle, Benedikt Löwe
   Solovay-Type Characterizations for Forcing-Algebras. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:3, pp:1307-1323 [Journal]
   
5. Benedikt Löwe
   Revision Sequences and Computers with an Infinite Amount of Time. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:1, pp:25-40 [Journal]
   
6. Benedikt Löwe
   A parametrised choice principle and Martin's conjecture on Blackwell determinacy. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2006, v:52, n:2, pp:187-189 [Journal]
   
7. Benedikt Löwe
   A Global Wellordering of Norms Defined via Blackwell Games. [Citation Graph (0, 0)][DBLP]
   Order, 2005, v:22, n:2, pp:85-92 [Journal]
   
8. Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch
   Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:1, pp:79-98 [Journal]
   
9. Benedikt Löwe, Philip D. Welch
   Set-Theoretic Absoluteness and the Revision Theory of Truth. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2001, v:68, n:1, pp:21-41 [Journal]
   
10. Thomas Bäck, Benedikt Löwe
    Computing and the natural sciences at CiE 2005. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:371, n:1-2, pp:1-3 [Journal]
    
11. Sujata Ghosh, Benedikt Löwe, Erik Scorelle
    Belief Flow in Assertion Networks. [Citation Graph (0, 0)][DBLP]
    ICCS, 2007, pp:401-414 [Conf]
    
12. Benedikt Löwe, Brian Semmes
    The Extent of Constructive Game Labellings. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:2, pp:285-298 [Journal]
    
13. S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas
    Theory of Computation at CiE 2005. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2007, v:41, n:1, pp:1-2 [Journal]
    
14. 
    Uniform unfolding and analytic measurability. [Citation Graph (, )][DBLP]
    
    
15. 
    Turing cones and set theory of the reals. [Citation Graph (, )][DBLP]
    
    
16. 
    Preface. [Citation Graph (, )][DBLP]