- 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
Computability Theory | EMS Press
Aug 25, 2022 ... Computability Theory · Vasco Brattka. Universität der Bundeswehr München, Neubiberg, Germany · Noam Greenberg. Victoria University of Wellington, ...
- 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 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
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 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 issue
Volume 15, No. 1 (2018)| Oberwolfach Reports | EMS Press
Jan 4, 2019 ... Computability Theory. Vasco BrattkaRodney G. Downey ; Topology of Arrangements and Representation Stability. Graham DenhamGiovanni Gaiffi ...
- 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 · DOI 10.4171/OWR/2012/08 · pp. 457–553. Advanced ...
- journal issue
Volume 18, No. 2 (2021)| Oberwolfach Reports | EMS Press
Aug 25, 2022 ... Computability Theory. Vasco BrattkaNoam GreenbergIskander KalimullinMariya Soskova · DOI 10.4171/OWR/2021/21 · pp. 1191–1208. Foundations of ...