- 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.