Follow
Arno Pauly
Arno Pauly
Swansea University
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Closed choice and a uniform low basis theorem
V Brattka, M de Brecht, A Pauly
Annals of Pure and Applied Logic 163 (8), 986–1008, 2012
1382012
On the topological aspects of the theory of represented spaces
A Pauly
Computability 5 (2), 159-180, 2016
124*2016
Weihrauch complexity in computable analysis
V Brattka, G Gherardi, A Pauly
Handbook of computability and complexity in analysis, 367-417, 2021
932021
On the (semi) lattices induced by continuous reducibilities
A Pauly
Mathematical Logic Quarterly 56 (5), 488-502, 2010
722010
A topological view on algebraic computation models
E Neumann, A Pauly
Journal of Complexity 44, 1-22, 2018
622018
On the algebraic structure of Weihrauch degrees
V Brattka, A Pauly
Logical Methods in Computer Science 14 (Computability and logic), 2018
612018
How incomputable is finding Nash equilibria?
A Pauly
J. Univers. Comput. Sci. 16 (18), 2686-2710, 2010
592010
On the computational content of the Brouwer fixed point theorem
V Brattka, S Le Roux, A Pauly
How the World Computes: Turing Centenary Conference and 8th Conference on …, 2012
57*2012
The degree structure of Weihrauch-reducibility
K Higuchi, A Pauly
Logical Methods in Computer Science 9 (2), 2010
472010
Computation with advice
V Brattka, A Pauly
arXiv preprint arXiv:1006.0395, 2010
442010
Non-deterministic computation and the Jayne-Rogers theorem
A Pauly, M de Brecht
arXiv preprint arXiv:1404.0079, 2014
432014
A comparison of concepts from computable analysis and effective descriptive set theory
V Gregoriades, T Kispéter, A Pauly
Mathematical Structures in Computer Science 27 (8), 1414-1436, 2017
422017
Point degree spectra of represented spaces
T Kihara, A Pauly
arXiv preprint arXiv:1405.6866, 2014
422014
Descriptive set theory in the category of represented spaces
A Pauly, M De Brecht
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 438-449, 2015
382015
Relative computability and uniform continuity of relations
A Pauly, M Ziegler
arXiv preprint arXiv:1105.3050, 2011
352011
Finite choice, convex choice and finding roots
S Le Roux, A Pauly
Logical Methods in Computer Science 11, 2015
332015
Searching for an analogue of ATR0 in the Weihrauch lattice
T Kihara, A Marcone, A Pauly
The Journal of Symbolic Logic 85 (3), 1006-1043, 2020
282020
Overt choice
M de Brecht, A Pauly, M Schröder
Computability 9 (3-4), 169-191, 2020
282020
Infinite sequential games with real-valued payoffs
S Le Roux, A Pauly
Proceedings of the joint meeting of the twenty-third EACSL annual conference …, 2014
282014
Computable metamathematics and its application to game theory
AM Pauly
University of Cambridge, 2012
232012
The system can't perform the operation now. Try again later.
Articles 1–20