Travelled to:1 × Japan
1 × Spain
1 × United Kingdom
Collaborated with:∅ M.Schröder
Talks about:recurs (2) comput (2) incomplet (1) exponenti (1) function (1) epigraph (1) topolog (1) sequenc (1) emperor (1) random (1)
Person: Vasco Brattka
DBLP: Brattka:Vasco
Contributed to:
2005
2002
2000Wrote 3 papers:
- CSL-2005-BrattkaS #axiom #sequence
- Computing with Sequences, Weak Topologies and the Axiom of Choice (VB, MS), pp. 462–476.
- ICALP-2002-Brattka #random #recursion #set
- Random Numbers and an Incomplete Immune Recursive Set (VB), pp. 950–961.
- WLC-2000-Brattka #exponential #modelling #recursion
- The Emperor’s New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability (VB), pp. 63–72.