The SCEAS System
| |||||||

## Search the dblp DataBase
Andrej Bauer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Andrej Bauer
**Realizability as Connection between Constructive and Computable Mathematics.**[Citation Graph (0, 0)][DBLP] CCA, 2005, pp:378-379 [Conf] - Andrej Bauer, Paul Taylor 0002
**The Dedekind Reals in Abstract Stone Duality.**[Citation Graph (0, 0)][DBLP] CCA, 2005, pp:25-64 [Conf] - Andrej Bauer, Lars Birkedal
**Continuous Functionals of Dependent Types and Equilogical Spaces.**[Citation Graph (0, 0)][DBLP] CSL, 2000, pp:202-216 [Conf] - 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] - Andrej Bauer
**Equilogical spaces and domains with totality.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal] - 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] - 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] - 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] - 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] - 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] - Steven Awodey, Andrej Bauer
**Propositions as Types.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2004, v:14, n:4, pp:447-471 [Journal] - 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] - 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] - 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] - 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] **CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis.**[Citation Graph (, )][DBLP]**Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions.**[Citation Graph (, )][DBLP]**CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis.**[Citation Graph (, )][DBLP]**Sheaf toposes for realizability.**[Citation Graph (, )][DBLP]**A constructive theory of continuous domains suitable for implementation.**[Citation Graph (, )][DBLP]**Implementing Real Numbers With RZ.**[Citation Graph (, )][DBLP]**Preface.**[Citation Graph (, )][DBLP]**On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |