- journal article
## Computability Theory | EMS Press

Aug 25, 2022 ... Computability theory has seen many new and fascinating developments that have linked the subject much closer to other mathematical disciplines inside and ...

- journal article
## Computability Theory | EMS Press

Jan 5, 2019 ... Computability Theory. Vasco Brattka. Universität der Bundeswehr München, Neubiberg, Germany. Rodney G. Downey. Victoria University, Wellington ...

- journal article file
## Mathematisches Forschungsinstitut Oberwolfach Computability ...

Computability theory is one of the main branches of mathematical logic. It ex- plores the computational limitations of mathematics. Classical concepts at ...

- journal article file
## Mathematisches Forschungsinstitut Oberwolfach Computability Theory

The workshop Computability Theory, organized by Klaus Ambos-Spies and Wolf- gang Merkle (Heidelberg), Steffen Lempp (Madison) and Rodney G. Downey.

- journal article file
## Computability Theory

There is also a great deal of work on algorithmic randomness, reverse mathematics, computable analysis, and in computable structure theory/computable model ...

- journal article
## Computability Theory | EMS Press

Nov 14, 2012 ... ... theoretical computer science. Cite this article. Klaus Ambos-Spies, Rodney G. Downey, Steffen Lempp, Wolfgang Merkle, Computability Theory.

- journal article
## Computable permutations and word problems | EMS Press

May 24, 2019 ... Th is is an expository paper whose goal is to explain some interesting interconnections between group theory and the theory of computability.

- journal article file
## Bounded theories for polyspace computability

work, we propose analogue theories concerning polyspace computability. Since the tech- niques we employ in the characterization of PSPACE via formal systems ...

- journal issue
## Volume 15, No. 1 (2018)| Oberwolfach Reports | EMS Press

Jan 4, 2019 ... Computability Theory. Vasco BrattkaRodney G. DowneyJulia F. KnightSteffen Lempp · pp. 43–123. Topology of Arrangements and Representation ...

- journal issue
## Volume 9, No. 1 (2012)| Oberwolfach Reports | EMS Press

Nov 14, 2012 ... 397–455. Computability Theory. Klaus Ambos-SpiesRodney G. DowneySteffen LemppWolfgang Merkle · pp. 457–553. Advanced Computational Engineering.