| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vasco Brattka, Guido Gherardi, Alberto Marcone |
The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Matthew de Brecht, Arno Pauly |
Closed choice and a Uniform Low Basis Theorem. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen |
Foreword. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
Weihrauch degrees, omniscience principles and weak computability. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
Effective choice and boundedness principles in computable analysis. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi, Alberto Marcone |
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki |
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Ruth Dillhage |
Computability of finite-dimensional linear subspaces and best approximation. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Arno Pauly |
Computation with Advice |
CCA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Pieter Collins, Robert Rettinger |
Computability and Complexity in Analysis. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
Borel Complexity of Topological Operations on Computable Metric Spaces. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
A computable version of Banach's Inverse Mapping Theorem. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
A method to evaluate the computational complexity of the theorems from functional analysis. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (eds.) |
Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers |
ILC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
Weihrauch Degrees, Omniscience Principles and Weak Computability. |
CCA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
Effective Choice and Boundedness Principles in Computable Analysis. |
CCA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong |
Editorial: Math. Log. Quart. 5/2008. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Gerhard Jäger, Hans-Peter A. Künzi |
Preface. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong |
Computability and Complexity in Analysis. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ruth Dillhage, Vasco Brattka |
Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret Archibald, Vasco Brattka, Clemens Heuberger |
Randomness with Respect to the Signed-Digit Representation. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka |
Borel complexity and computability of the Hahn-Banach Theorem. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03F60, 46S30, 03E15 |
| 1 | Vasco Brattka |
Plottable Real Number Functions and the Computable Graph Theorem. |
SIAM J. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Ruth Dillhage |
Computability of compact operators on computable Banach spaces with bases. |
Math. Log. Q. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Christiane Frougny, Norbert Th. Müller |
Foreword. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Ruth Dillhage |
On Computable Compact Operators on Banach Spaces. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
Borel Complexity of Topological Operations on Computable Metric Spaces. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
effective descriptive set theory, Borel measurability, hyperspace topologies, Computable analysis |
| 1 | Vasco Brattka, Atsushi Yoshikawa |
Towards computability of elliptic boundary value problems in variational formulation. |
J. Complexity |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Tsuiki |
Computability and complexity in analysis. |
J. Complexity |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Effective Borel measurability and reducibility of functions. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Ruth Dillhage |
Computability of the Spectrum of Self-Adjoint Operators. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Ludwig Staiger, Klaus Weihrauch |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
On the Borel Complexity of Hahn-Banach Extensions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Some Aspects of Computable Functional Analysis. |
CCA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Matthias Schröder |
Computing with Sequences, Weak Topologies and the Axiom of Choice. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Peter Hertling, Ker-I Ko, Ning Zhong |
Preface: MLQ - Math. Log. Quart. 4-5/2004. |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Ziegler, Vasco Brattka |
Computability in linear algebra. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Vladik Kreinovich |
Computability and Complexity in Analysis (CCA). A View from Interval Computations - Cincinnati, Ohio, USA, August 28-30, 2003. |
Reliable Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Recursive quasi-metric spaces. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Gero Presser |
Computability on subsets of metric spaces. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
The Inversion Problem for Computable Linear Operators. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
inversion problem, computable analysis, linear operators |
| 1 | Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong |
Preface: MLQ - Math. Log. Quart. Supplement 1/2002. |
Math. Log. Q. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Peter Hertling |
Topological properties of real number representations. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Some Notes on Fine Computability. |
J. UCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka |
Computing Uniform Bounds. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Matthias Schröder, Klaus Weihrauch |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Random Numbers and an Incomplete Immune Recursive Set. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
r.e. closed sets, immune sets, Kolmogorov complexity, random numbers, Computable analysis |
| 1 | Vasco Brattka, Martin Ziegler |
Computability of Linear Equations. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka |
Computable Versions of Baire's Category Theorem. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
functional analysis, computable analysis |
| 1 | Martin Ziegler, Vasco Brattka |
Turing computability of (non-)linear optimization. |
CCCG |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jens Blanck, Vasco Brattka, Peter Hertling (eds.) |
Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers |
CCA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka |
Recursion and Computability over Topological Structures. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
The Emperor's New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability. |
Words, Languages & Combinatorics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Martin Ziegler, Vasco Brattka |
A Computable Spectral Theorem. |
CCA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Ziegler, Vasco Brattka |
Computing the Dimension of Linear Subspaces. |
SOFSEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Xizhong Zheng, Klaus Weihrauch |
Approaches to Effective Semi-Continuity of Real Functions. |
Math. Log. Q. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Klaus Weihrauch |
Computability on Subsets of Euclidean Space I: Closed and Compact Subsets. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Computable Invariance. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Peter Hertling |
Feasible Real Random Access Machines. |
J. Complexity |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Klaus Weihrauch |
Recursive and Recursively Enumerable Closed Subsets of Euclidean Space. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Klaus Weihrauch, Xizhong Zheng |
Approaches to Effective Semi-continuity of Real Functions. |
COCOON |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Order-free Recursion on the Real Numbers. |
Math. Log. Q. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka |
Computable Invariance. |
COCOON |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Recursive Characterization of Computable Real-Valued Functions and Relations. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Computable Invariance. |
CCA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Peter Hertling |
Feasible Real Random Access Machines. |
SOFSEM |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")