Folgen
Arno Pauly
Arno Pauly
Swansea University
Bestätigte E-Mail-Adresse bei cl.cam.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1482012
On the topological aspects of the theory of represented spaces
A Pauly
Computability 5 (2), 159-180, 2016
129*2016
Weihrauch complexity in computable analysis
V Brattka, G Gherardi, A Pauly
Handbook of computability and complexity in analysis, 367-417, 2021
1142021
On the (semi) lattices induced by continuous reducibilities
A Pauly
Mathematical Logic Quarterly 56 (5), 488-502, 2010
772010
On the algebraic structure of Weihrauch degrees
V Brattka, A Pauly
Logical Methods in Computer Science 14 (Computability and logic), 2018
732018
A topological view on algebraic computation models
E Neumann, A Pauly
Journal of Complexity 44, 1-22, 2018
672018
How incomputable is finding Nash equilibria?
A Pauly
J. Univers. Comput. Sci. 16 (18), 2686-2710, 2010
622010
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
61*2012
The degree structure of Weihrauch-reducibility
K Higuchi, A Pauly
Logical Methods in Computer Science 9 (2), 2010
532010
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
472017
Non-deterministic computation and the Jayne-Rogers theorem
A Pauly, M de Brecht
arXiv preprint arXiv:1404.0079, 2014
442014
Computation with advice
V Brattka, A Pauly
arXiv preprint arXiv:1006.0395, 2010
442010
Point degree spectra of represented spaces
T Kihara, A Pauly
arXiv preprint arXiv:1405.6866, 2014
432014
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
412015
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
392020
Finite choice, convex choice and finding roots
S Le Roux, A Pauly
Logical Methods in Computer Science 11, 2015
362015
Relative computability and uniform continuity of relations
A Pauly, M Ziegler
arXiv preprint arXiv:1105.3050, 2011
352011
Overt choice
M de Brecht, A Pauly, M Schröder
Computability 9 (3-4), 169-191, 2020
322020
Finding descending sequences through ill-founded linear orders
J Le Goh, A Pauly, M Valenti
The Journal of Symbolic Logic 86 (2), 817-854, 2021
282021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20