Vasco Brattka

发表

Recursive quasi-metric spaces

Vasco Brattka, V. Brattka, 2003, Theor. Comput. Sci..

Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis

Jens Blanck, Peter Hertling, Vasco Brattka, 2000 .

Computable Invariance

Vasco Brattka, 1996, Theor. Comput. Sci..

Preface: MLQ - Math. Log. Quart. Supplement 1/2002

Ning Zhong, Peter Hertling, Mariko Yasugi, 2002, Math. Log. Q..

Computability Theory (Dagstuhl Seminar 17081)

Rodney G. Downey, Steffen Lempp, Klaus Ambos-Spies, 2017, Dagstuhl Reports.

Logic, Computation, Hierarchies

Hannes Diener, Vasco Brattka, Dieter Spreen, 2014, Logic, Computation, Hierarchies.

A method to evaluate the computational complexity of the theorems from functional analysis

Vasco Brattka, Guido Gherardi, 2009, ICTCS.

Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018

Arno Pauly, Alberto Marcone, Vasco Brattka, 2020, Comput..

Las Vegas Computability and Algorithmic Randomness

Rupert Hölzl, Vasco Brattka, Guido Gherardi, 2015, STACS.

Computing Uniform Bounds

Vasco Brattka, 2002, Electron. Notes Theor. Comput. Sci..

The Nature of Computation: Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Proceedings

Paola Bonizzoni, Benedikt Löwe, Vasco Brattka, 2013 .

Plottable Real Number Functions and the Computable Graph Theorem

Vasco Brattka, 2008, SIAM J. Comput..

Feasible Real Random Access Machines

Peter Hertling, Vasco Brattka, 1998, J. Complex..

Effective Borel measurability and reducibility of functions

Vasco Brattka, 2005, Math. Log. Q..

Weihrauch degrees, omniscience principles and weak computability

Vasco Brattka, Guido Gherardi, 2009, J. Symb. Log..

Borel Complexity of Topological Operations on Computable Metric Spaces

Vasco Brattka, Guido Gherardi, 2007, CiE.

Computability of the Spectrum of Self-Adjoint Operators

Vasco Brattka, Ruth Dillhage, 2005, J. Univers. Comput. Sci..

Randomness with Respect to the Signed-Digit Representation

Clemens Heuberger, Vasco Brattka, Margaret Archibald, 2008, Fundam. Informaticae.

Computability of finite-dimensional linear subspaces and best approximation

Vasco Brattka, Ruth Dillhage, 2010, Ann. Pure Appl. Log..

Connected Choice and the Brouwer Fixed Point Theorem pdf

Arno Pauly, Stéphane Le Roux, Vasco Brattka, 2012, J. Math. Log..

The Brouwer Fixed Point Theorem Revisited

Arno Pauly, Stéphane Le Roux, Vasco Brattka, 2016, CiE.

Computability & Complexity in Analysis

Peter Hertling, Vasco Brattka, Hideki Tsuiki, 2001 .

Some Aspects of Computable Functional Analysis

Vasco Brattka, 2005, CCA.

On the Uniform Computational Content of Ramsey's Theorem

Vasco Brattka, Tahina Rakotoniaina, 2017, J. Symb. Log..

On Computable Compact Operators on Banach Spaces

Vasco Brattka, Ruth Dillhage, 2007, Electron. Notes Theor. Comput. Sci..

Randomness and Differentiability pdf

André Nies, Vasco Brattka, Joseph S. Miller, 2011, ArXiv.

Preface

Klaus Weihrauch, Vasco Brattka, Matthias Schröder, 2002, Electron. Notes Theor. Comput. Sci..

Computability of compact operators on computable Banach spaces with bases

Vasco Brattka, Ruth Dillhage, V. Brattka, 2007, Math. Log. Q..

On the Uniform Computational Content of Computability Theory

Vasco Brattka, Alexander P. Kreuzer, Matthew Hendtlass, 2015, Theory of Computing Systems.

Computability and complexity in analysis

Peter Hertling, Vasco Brattka, Hideki Tsuiki, 2006, J. Complex..

Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces

Vasco Brattka, Ruth Dillhage, 2008, Electron. Notes Theor. Comput. Sci..

Recursive and computable operations over topological structures

Vasco Brattka, V. Brattka, 1999 .

Editorial: Math. Log. Quart. 5/2008

Ning Zhong, Hajime Ishihara, Matthias Schröder, 2008, Math. Log. Q..

The Nature of Computation : Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings

Paola Bonizzoni, Benedikt Löwe, Vasco Brattka, 2013 .

Preface

Ludwig Staiger, Klaus Weihrauch, Vasco Brattka, 2005, Electron. Notes Theor. Comput. Sci..

Topological properties of real number representations

Peter Hertling, Vasco Brattka, V. Brattka, 2002, Theor. Comput. Sci..

Computing the Dimension of Linear Subspaces

Martin Ziegler, Vasco Brattka, 2000, SOFSEM.

Approaches to Effective Semi‐Continuity of Real Functions

Klaus Weihrauch, Vasco Brattka, Xizhong Zheng, 1998, Math. Log. Q..

Computation with Advice

Arno Pauly, Vasco Brattka, 2010, CCA.

Computability and analysis: the legacy of Alan Turing pdf

Jeremy Avigad, Vasco Brattka, J. Avigad, 2012, Turing's Legacy.

On the algebraic structure of Weihrauch degrees

Arno Pauly, Vasco Brattka, V. Brattka, 2016, Log. Methods Comput. Sci..

Computability on Subsets of Euclidean Space I: Closed and Compact Subsets

Klaus Weihrauch, Vasco Brattka, K. Weihrauch, 1999, Theor. Comput. Sci..

Weihrauch Complexity in Computable Analysis pdf

Arno Pauly, Vasco Brattka, Guido Gherardi, 2017, Theory and Applications of Computability.

Approaches to Effective Semi-Continuity of Real Functions

Klaus Weihrauch, Vasco Brattka, Xizhong Zheng, 1999, Math. Log. Q..

Borel complexity and computability of the Hahn–Banach Theorem

Vasco Brattka, V. Brattka, 2008, Arch. Math. Log..

Preface

Vasco Brattka, Hans-Peter A. Künzi, Gerhard Jäger, 2008, J. Log. Algebraic Methods Program..

Limit computation of some discontinuous functions (数学解析の計算機上での理論的展開とその遂行可能性研究集会報告集)

Vasco Brattka, 八杉満利子, 鷲原雅子, 2002 .

Turing computability of (non-)linear optimization

Martin Ziegler, Vasco Brattka, M. Ziegler, 2001, CCCG.

Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)

Arno Pauly, Alberto Marcone, Akitoshi Kawamura, 2015, Dagstuhl Reports.

The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma pdf

Alberto Marcone, Vasco Brattka, Guido Gherardi, 2011, Ann. Pure Appl. Log..

The Emperor's New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability

Vasco Brattka, 2000, Words, Languages & Combinatorics.

Effective Choice and Boundedness Principles in Computable Analysis

Vasco Brattka, Guido Gherardi, V. Brattka, 2009, The Bulletin of Symbolic Logic.

A computable version of Banach's Inverse Mapping Theorem

Vasco Brattka, 2009, Ann. Pure Appl. Log..

Probabilistic computability and choice

Rupert Hölzl, Vasco Brattka, Guido Gherardi, 2013, Inf. Comput..

Computable Versions of Baire's Category Theorem

Vasco Brattka, 2001, MFCS.

Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361)

Arno Pauly, Alberto Marcone, Vasco Brattka, 2018, Dagstuhl Reports.

Computing with Sequences, Weak Topologies and the Axiom of Choice

Matthias Schröder, Vasco Brattka, V. Brattka, 2005, CSL.

Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Valentin Goranko, Benedikt Löwe, Vasco Brattka, 2009, ILC.

A Galois connection between Turing jumps and limits

Vasco Brattka, V. Brattka, 2018, Log. Methods Comput. Sci..

Computability in linear algebra

Martin Ziegler, Vasco Brattka, M. Ziegler, 2004, Theor. Comput. Sci..

THE DISCONTINUITY PROBLEM pdf

Vasco Brattka, V. Brattka, 2020, The Journal of Symbolic Logic.

On the Borel Complexity of Hahn-Banach Extensions

Vasco Brattka, V. Brattka, 2005, CCA.

Completion of Choice

Vasco Brattka, Guido Gherardi, 2021, Ann. Pure Appl. Log..

Random Numbers and an Incomplete Immune Recursive Set

Vasco Brattka, V. Brattka, 2002, ICALP.

On the Computational Content of the Brouwer Fixed Point Theorem

Arno Pauly, Stéphane Le Roux, Vasco Brattka, 2012, CiE.

Computability and Analysis, a Historical Approach

Vasco Brattka, V. Brattka, 2016, CiE.

Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018

Steffen Lempp, Vasco Brattka, Rod Downey, 2019, Comput..

Preface to the special issue: Computing with infinite data: topological and logical foundations

Ulrich Berger, Victor L. Selivanov, Vasco Brattka, 2015, Math. Struct. Comput. Sci..

Computability and Complexity in Analysis (CCA). A View from Interval Computations - Cincinnati, Ohio, USA, August 28–30, 2003

Vladik Kreinovich, Vasco Brattka, V. Kreinovich, 2004, Reliab. Comput..

Recursive and Recursively Enumerable Closed Subsets of Euclidean Space

Klaus Weihrauch, Vasco Brattka, 1998, MCU.

Recursion and Computability over Topological Structures

Vasco Brattka, 2000, Electron. Notes Theor. Comput. Sci..

Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)

Ulrich Berger, Victor L. Selivanov, Vasco Brattka, 2011, Dagstuhl Reports.

Editorial

Paola Bonizzoni, Olivier Bournez, Vasco Brattka, 1978, De Computis.

Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]

Alberto Marcone, Matthias Schröder, Vasco Brattka, 2017, Ann. Pure Appl. Log..

Borel Complexity of Topological Operations on Computable Metric Spaces

Vasco Brattka, Guido Gherardi, 2009, J. Log. Comput..

The Vitali Covering Theorem in the Weihrauch Lattice

Arno Pauly, Rupert Hölzl, Vasco Brattka, 2017, Computability and Complexity.

The Inversion Problem for Computable Linear Operators

Vasco Brattka, 2003, STACS.

Towards computability of elliptic boundary value problems in variational formulation

Vasco Brattka, Atsushi Yoshikawa, V. Brattka, 2006, J. Complex..

Closed choice and a Uniform Low Basis Theorem

Arno Pauly, Matthew de Brecht, Vasco Brattka, 2010, Ann. Pure Appl. Log..

Recursive Characterization of Computable Real-Valued Functions and Relations

Vasco Brattka, V. Brattka, 1996, Theor. Comput. Sci..

A Tutorial on Computable Analysis

Klaus Weihrauch, Peter Hertling, Vasco Brattka, 2008 .

Preface: MLQ - Math. Log. Quart. 4-5/2004

Ker-I Ko, Ning Zhong, Peter Hertling, 2004, Math. Log. Q..

Foreword

Christiane Frougny, Vasco Brattka, Norbert Th. Müller, 2007, RAIRO Theor. Informatics Appl..

Editorial

Paola Bonizzoni, Benedikt Löwe, S. Barry Cooper, 2012, De Computis.

On the Uniform Computational Content of the Baire Category Theorem

Vasco Brattka, Alexander P. Kreuzer, Matthew Hendtlass, 2015, Notre Dame J. Formal Log..

Computability of Linear Equations

Martin Ziegler, Vasco Brattka, 2002, IFIP TCS.

Computability on Non-Separable Banach Spaces and Landau's Theorem

Vasco Brattka, 2005, From sets and types to topology and analysis.

Some Notes on Fine Computability

Vasco Brattka, V. Brattka, 2002, J. Univers. Comput. Sci..

Computable Invariance

Vasco Brattka, 1997, COCOON.

A Computable Spectral Theorem

Martin Ziegler, Vasco Brattka, 2000, CCA.

Foreword

Ulrich Berger, Vasco Brattka, Dieter Spreen, 2012, Ann. Pure Appl. Log..

Computability on subsets of metric spaces

Vasco Brattka, Gero Presser, V. Brattka, 2003, Theor. Comput. Sci..

Preface

Vasco Brattka, Ruth Dillhage, Tanja Grubba, 2008, Electron. Notes Theor. Comput. Sci..

Order-free Recursion on the Real Numbers

Vasco Brattka, 1997, Math. Log. Q..

Weihrauch goes Brouwerian pdf

Vasco Brattka, Guido Gherardi, 2018, ArXiv.

Monte Carlo Computability

Rupert Hölzl, Vasco Brattka, Rutger Kuyper, 2017, STACS.

Feasible Real Random Access Machines

Peter Hertling, Vasco Brattka, V. Brattka, 1996, J. Complex..

Completion of Choice pdf

Vasco Brattka, Guido Gherardi, 2021, Ann. Pure Appl. Log..

Stashing And Parallelization Pentagons

Vasco Brattka, 2021, Logical Methods in Computer Science.

Computability and complexity in analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

Jens Blanck, Peter Hertling, Vasco Brattka, 2001 .

Computable versions of the uniform boundedness theorem

Peter Koepke, Vasco Brattka, Wolfram Pohlers, 2016 .

Computability over Topological Structures

Vasco Brattka, V. Brattka, 2003 .

Measuring the Complexity of Computational Content : Weihrauch Reducibility and Reverse Analysis

Vasco Brattka, V. Brattka, 2015 .

Effective representations of the space of linear bounded operators

Vasco Brattka, 2003 .

COMPUTABILITY ASPECTS OF SOME DISCONTINUOUS FUNCTIONS

Mariko Yasugi, Vasco Brattka, Masako Washihara, 2002 .

Computability of Banach space principles

Vasco Brattka, V. Brattka, 2001 .

Generated quasi-metric hyper and function spaces

Vasco Brattka, 2003 .

From Hilbert’s 13th Problem to the theory of neural networks: constructive aspects of Kolmogorov’s Superposition Theorem

Vasco Brattka, V. Brattka, 2007 .