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
1132012
On the topological aspects of the theory of represented spaces
A Pauly
Computability 5 (2), 159-180, 2016
85*2016
On the (semi) lattices induced by continuous reducibilities
A Pauly
Mathematical Logic Quarterly 56 (5), 488-502, 2010
732010
How incomputable is finding Nash equilibria?
A Pauly
J. UCS 16 (18), 2686-2710, 2010
562010
The degree structure of Weihrauch-reducibility
K Higuchi, A Pauly
Logical Methods in Computer Science 9 (2), 2010
452010
On the computational content of the brouwer fixed point theorem
V Brattka, S Le Roux, A Pauly
Conference on Computability in Europe, 56-67, 2012
44*2012
On the algebraic structure of Weihrauch degrees
V Brattka, A Pauly
arXiv preprint arXiv:1604.08348, 2016
352016
Point degree spectra of represented spaces
T Kihara, A Pauly
arXiv preprint arXiv:1405.6866, 2014
342014
Computation with advice
V Brattka, A Pauly
arXiv preprint arXiv:1006.0395, 2010
342010
Non-deterministic computation and the Jayne-Rogers Theorem
A Pauly, M de Brecht
arXiv preprint arXiv:1404.0079, 2014
332014
Relative computability and uniform continuity of relations
A Pauly, M Ziegler
arXiv preprint arXiv:1105.3050, 2011
302011
A comparison of concepts from computable analysis and effective descriptive set theory
V Gregoriades, T Kispéter, A Pauly
arXiv preprint arXiv:1403.7997, 2014
262014
Finite choice, convex choice and finding roots
SL Roux, A Pauly
arXiv preprint arXiv:1302.0380, 2013
242013
A topological view on algebraic computation models
E Neumann, A Pauly
Journal of Complexity 44, 1-22, 2018
232018
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
232014
Methoden zum Vergleich der Unstetigkeit von Funktionen
A Pauly
232007
Weihrauch complexity in computable analysis
V Brattka, G Gherardi, A Pauly
arXiv preprint arXiv:1707.03202, 2017
202017
Weihrauch degrees of finding equilibria in sequential games
S Le Roux, A Pauly
Conference on Computability in Europe, 246-257, 2015
202015
Computable metamathematics and its application to game theory
AM Pauly
University of Cambridge, 2012
202012
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
192015
The system can't perform the operation now. Try again later.
Articles 1–20