Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Andrej Bauer" ( http://dblp.L3S.de/Authors/Andrej_Bauer )

  Author page on DBLP  Author page in RDF  Community of Andrej Bauer in ASPL-2

Publication years (Num. hits)
1996-2006 (15) 2007-2010 (15) 2012 (3)
Publication types (Num. hits)
article(23) inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(7) CCA(6) Ann. Pure Appl. Logic(3) J. Log. Comput.(2) J. UCS(2) Math. Log. Q.(2) AISMC(1) Arch. Math. Log.(1) CiE(1) CoRR(1) CSL(1) ICALP(1) Informatica (Slovenia)(1) J. Autom. Reasoning(1) J. Symb. Comput.(1) Mathematical Structures in Com...(1) More (+10 of total 17)
Authors
Andrej Bauer(33) Ker-I Ko(4) Peter Hertling(4) Christopher A. Stone(3) Edmund M. Clarke(2) Iztok Kavkler(2) Jens Blanck(2) Lars Birkedal(2) Paul Taylor 0002(2) Steven Awodey(2) Xudong Zhao(2) Alex K. Simpson(1) Alex Simpson(1) Dana S. Scott(1) Davorin Lesnik(1) Giovanni Sambin(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 33 publication records. Showing 33 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Andrej Bauer, Davorin Lesnik Metric spaces in synthetic topology. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster Preface. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Matija Pretnar Programming with Algebraic Effects and Handlers Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Andrej Bauer, Peter Hertling, Ker-I Ko Computability and Complexity in Analysis. Search on Bibsonomy J. UCS The full citation details ... 2010 DBLP  BibTeX  RDF
1Andrej Bauer, Jens Blanck Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. Search on Bibsonomy J. UCS The full citation details ... 2010 DBLP  BibTeX  RDF
1Melita Hajdinjak, Andrej Bauer Similarity Measures for Relational Databases. Search on Bibsonomy Informatica (Slovenia) The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrej Bauer, Paul Taylor 0002 The Dedekind reals in abstract Stone duality. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrej Bauer On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Christopher A. Stone RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Iztok Kavkler A constructive theory of continuous domains suitable for implementation. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Peter Hertling, Ker-I Ko CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. Search on Bibsonomy CCA The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrej Bauer, Peter Hertling, Ker-I Ko CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. Search on Bibsonomy CCA The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrej Bauer, Peter Hertling, Ker-I Ko (eds.) Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia Search on Bibsonomy CCA The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrej Bauer, Jens Blanck Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. Search on Bibsonomy CCA The full citation details ... 2009 DBLP  BibTeX  RDF
1Andrej Bauer, Michael W. Mislove Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Iztok Kavkler Implementing Real Numbers With RZ. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Steven Awodey, Andrej Bauer Sheaf toposes for realizability. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03G30, 03D65
1Andrej Bauer, Christopher A. Stone RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Christopher A. Stone Specifications via Realizability. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrej Bauer First Steps in Synthetic Computability Theory. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrej Bauer Realizability as Connection between Constructive and Computable Mathematics. Search on Bibsonomy CCA The full citation details ... 2005 DBLP  BibTeX  RDF
1Andrej Bauer, Paul Taylor 0002 The Dedekind Reals in Abstract Stone Duality. Search on Bibsonomy CCA The full citation details ... 2005 DBLP  BibTeX  RDF
1Andrej Bauer, Alex Simpson Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Search on Bibsonomy Math. Log. Q. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Lars Birkedal, Dana S. Scott Equilogical spaces. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Steven Awodey, Andrej Bauer Propositions as Types. Search on Bibsonomy J. Log. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrej Bauer A Relationship between Equilogical Spaces and Type Two Effectivity. Search on Bibsonomy Math. Log. Q. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson Comparing Functional Paradigms for Exact Real-Number Computation. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Andrej Bauer A Relationship between Equilogical Spaces and Type Two Effectivity. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrej Bauer Equilogical spaces and domains with totality. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Lars Birkedal Continuous Functionals of Dependent Types and Equilogical Spaces. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dependent type theory, equilogical spaces, domain theory, continuous functionals
1Andrej Bauer, Marko Petkovsek Multibasic and Mixed Hypergeometric Gosper-Type Algorithms. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Edmund M. Clarke, Xudong Zhao Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Edmund M. Clarke, Xudong Zhao Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. Search on Bibsonomy AISMC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #33 of 33 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.