Search the dblp DataBase

Publications of Author

1. Andrej Bauer, Edmund M. Clarke, Xudong Zhao
   Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. [Citation Graph (0, 0)][DBLP]
   AISMC, 1996, pp:21-37 [Conf]
   
2. Andrej Bauer
   Realizability as Connection between Constructive and Computable Mathematics. [Citation Graph (0, 0)][DBLP]
   CCA, 2005, pp:378-379 [Conf]
   
3. Andrej Bauer, Paul Taylor 0002
   The Dedekind Reals in Abstract Stone Duality. [Citation Graph (0, 0)][DBLP]
   CCA, 2005, pp:25-64 [Conf]
   
4. Andrej Bauer, Lars Birkedal
   Continuous Functionals of Dependent Types and Equilogical Spaces. [Citation Graph (0, 0)][DBLP]
   CSL, 2000, pp:202-216 [Conf]
   
5. Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson
   Comparing Functional Paradigms for Exact Real-Number Computation. [Citation Graph (0, 0)][DBLP]
   ICALP, 2002, pp:488-500 [Conf]
   
6. Andrej Bauer
   Equilogical spaces and domains with totality. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
   
7. Andrej Bauer
   A Relationship between Equilogical Spaces and Type Two Effectivity. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
   
8. Andrej Bauer
   First Steps in Synthetic Computability Theory. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:5-31 [Journal]
   
9. Andrej Bauer, Christopher A. Stone
   Specifications via Realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:77-92 [Journal]
   
10. Andrej Bauer, Edmund M. Clarke, Xudong Zhao
    Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:3, pp:295-325 [Journal]
    
11. Andrej Bauer, Marko Petkovsek
    Multibasic and Mixed Hypergeometric Gosper-Type Algorithms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1999, v:28, n:4-5, pp:711-736 [Journal]
    
12. Steven Awodey, Andrej Bauer
    Propositions as Types. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:4, pp:447-471 [Journal]
    
13. Andrej Bauer
    A Relationship between Equilogical Spaces and Type Two Effectivity. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:1-15 [Journal]
    
14. Andrej Bauer, Alex Simpson
    Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:4-5, pp:351-369 [Journal]
    
15. Andrej Bauer, Lars Birkedal, Dana S. Scott
    Equilogical spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:35-59 [Journal]
    
16. Andrej Bauer, Christopher A. Stone
    RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. [Citation Graph (0, 0)][DBLP]
    CiE, 2007, pp:28-42 [Conf]
    
17. 
    CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. [Citation Graph (, )][DBLP]
    
    
18. 
    Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. [Citation Graph (, )][DBLP]
    
    
19. 
    CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. [Citation Graph (, )][DBLP]
    
    
20. 
    Sheaf toposes for realizability. [Citation Graph (, )][DBLP]
    
    
21. 
    A constructive theory of continuous domains suitable for implementation. [Citation Graph (, )][DBLP]
    
    
22. 
    Implementing Real Numbers With RZ. [Citation Graph (, )][DBLP]
    
    
23. 
    Preface. [Citation Graph (, )][DBLP]
    
    
24. 
    On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. [Citation Graph (, )][DBLP]