en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Brattka
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(69)
tags
dblp
No matching items.
Computing with Infinite Data: Topological and Logical Foundations Dagstuhl Seminar 11411.
Ulrich Berger
,
Vasco Brattka
,
Victor L. Selivanov
,
Dieter Spreen
, and
Hideki Tsuiki
.
Dagstuhl Reports
1(10):14-36
(
2011
)
Ulrich Berger
,
Vasco Brattka
,
Victor L. Selivanov
,
Dieter Spreen
, and
Hideki Tsuiki
.
Dagstuhl Reports
1(10):14-36
(
2011
)
6 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Computability and analysis: the legacy of Alan Turing
Jeremy Avigad
, and
Vasco Brattka
.
CoRR
(
2012
)
Jeremy Avigad
, and
Vasco Brattka
.
CoRR
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Connected Choice and the Brouwer Fixed Point Theorem
Vasco Brattka
,
Stéphane Le Roux
, and
Arno Pauly
.
CoRR
(
2012
)
Vasco Brattka
,
Stéphane Le Roux
, and
Arno Pauly
.
CoRR
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Turing computability of non-linear optimization.
Martin Ziegler
, and
Vasco Brattka
.
CCCG,
page 181-184.
(
2001
)
Martin Ziegler
, and
Vasco Brattka
.
CCCG,
page 181-184.
(
2001
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Editorial.
Vasco Brattka
,
Paola Bonizzoni
,
S. Barry Cooper
,
Benedikt Löwe
, and
Elvira Mayordomo
.
Computability
1(1):1-2
(
2012
)
Vasco Brattka
,
Paola Bonizzoni
,
S. Barry Cooper
,
Benedikt Löwe
, and
Elvira Mayordomo
.
Computability
1(1):1-2
(
2012
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On the Computational Content of the Brouwer Fixed Point Theorem.
Vasco Brattka
,
Stéphane Le Roux
, and
Arno Pauly
.
CiE,
volume 7318 of Lecture Notes in Computer Science,
page 56-67.
Springer,
(
2012
)
Vasco Brattka
,
Stéphane Le Roux
, and
Arno Pauly
.
CiE,
volume 7318 of Lecture Notes in Computer Science,
page 56-67.
Springer,
(
2012
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Closed choice and a Uniform Low Basis Theorem.
Vasco Brattka
,
Matthew de Brecht
, and
Arno Pauly
.
Ann. Pure Appl. Logic
163(8):986-1008
(
2012
)
Vasco Brattka
,
Matthew de Brecht
, and
Arno Pauly
.
Ann. Pure Appl. Logic
163(8):986-1008
(
2012
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Foreword.
Ulrich Berger
,
Vasco Brattka
,
Andrei S. Morozov
, and
Dieter Spreen
.
Ann. Pure Appl. Logic
163(8):973-974
(
2012
)
Ulrich Berger
,
Vasco Brattka
,
Andrei S. Morozov
, and
Dieter Spreen
.
Ann. Pure Appl. Logic
163(8):973-974
(
2012
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma.
Vasco Brattka
,
Guido Gherardi
, and
Alberto Marcone
.
Ann. Pure Appl. Logic
163(6):623-655
(
2012
)
Vasco Brattka
,
Guido Gherardi
, and
Alberto Marcone
.
Ann. Pure Appl. Logic
163(6):623-655
(
2012
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Emperor's New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability.
Vasco Brattka
.
Words, Languages & Combinatorics,
page 63-72.
World Scientific,
(
2000
)
Vasco Brattka
.
Words, Languages & Combinatorics,
page 63-72.
World Scientific,
(
2000
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
Vasco Brattka
,
Guido Gherardi
, and
Alberto Marcone
.
CoRR
(
2011
)
Vasco Brattka
,
Guido Gherardi
, and
Alberto Marcone
.
CoRR
(
2011
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A method to evaluate the computational complexity of the theorems from functional analysis.
Vasco Brattka
, and
Guido Gherardi
.
ICTCS,
page 59-61.
(
2009
)
Vasco Brattka
, and
Guido Gherardi
.
ICTCS,
page 59-61.
(
2009
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Random Numbers and an Incomplete Immune Recursive Set.
Vasco Brattka
.
ICALP,
volume 2380 of Lecture Notes in Computer Science,
page 950-961.
Springer,
(
2002
)
Vasco Brattka
.
ICALP,
volume 2380 of Lecture Notes in Computer Science,
page 950-961.
Springer,
(
2002
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Computable Spectral Theorem.
Martin Ziegler
, and
Vasco Brattka
.
CCA,
volume 2064 of Lecture Notes in Computer Science,
page 378-388.
Springer,
(
2000
)
Martin Ziegler
, and
Vasco Brattka
.
CCA,
volume 2064 of Lecture Notes in Computer Science,
page 378-388.
Springer,
(
2000
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Computable Versions of Baire's Category Theorem.
Vasco Brattka
.
MFCS,
volume 2136 of Lecture Notes in Computer Science,
page 224-235.
Springer,
(
2001
)
Vasco Brattka
.
MFCS,
volume 2136 of Lecture Notes in Computer Science,
page 224-235.
Springer,
(
2001
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Feasible Real Random Access Machines.
Vasco Brattka
, and
Peter Hertling
.
SOFSEM,
volume 1175 of Lecture Notes in Computer Science,
page 335-342.
Springer,
(
1996
)
Vasco Brattka
, and
Peter Hertling
.
SOFSEM,
volume 1175 of Lecture Notes in Computer Science,
page 335-342.
Springer,
(
1996
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Computing Uniform Bounds.
Vasco Brattka
.
Electr. Notes Theor. Comput. Sci.
66(1):13-24
(
2002
)
Vasco Brattka
.
Electr. Notes Theor. Comput. Sci.
66(1):13-24
(
2002
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Preface.
Vasco Brattka
,
Matthias Schröder
, and
Klaus Weihrauch
.
Electr. Notes Theor. Comput. Sci.
66(1):225-226
(
2002
)
Vasco Brattka
,
Matthias Schröder
, and
Klaus Weihrauch
.
Electr. Notes Theor. Comput. Sci.
66(1):225-226
(
2002
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Recursion and Computability over Topological Structures.
Vasco Brattka
.
Electr. Notes Theor. Comput. Sci.
(
2000
)
Vasco Brattka
.
Electr. Notes Theor. Comput. Sci.
(
2000
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Approaches to Effective Semi-continuity of Real Functions.
Vasco Brattka
,
Klaus Weihrauch
, and
Xizhong Zheng
.
COCOON,
volume 1449 of Lecture Notes in Computer Science,
page 184-193.
Springer,
(
1998
)
Vasco Brattka
,
Klaus Weihrauch
, and
Xizhong Zheng
.
COCOON,
volume 1449 of Lecture Notes in Computer Science,
page 184-193.
Springer,
(
1998
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact