Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pauly, Arno
150  Ergebnisse:
Personensuche X
?
1

The Weakness of Finding Descending Sequences in Ill-Founded..:

, In: Twenty Years of Theoretical and Practical Synergies; Lecture Notes in Computer Science,
Goh, Jun Le ; Pauly, Arno ; Valenti, Manlio - p. 339-350 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Sequential Discontinuity and First-Order Problems:

, In: Twenty Years of Theoretical and Practical Synergies; Lecture Notes in Computer Science,
Pauly, Arno ; Soldà, Giovanni - p. 351-365 , 2024
Link: https://doi.org/10.1007/..
 
?
3

A Computability Perspective on (Verified) Machine Learning:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,
Crook, Tonicha ; Morgan, Jay ; Pauly, Arno. - p. 63-80 , 2023
Link: https://doi.org/10.1007/..
 
?
4

The Complexity of Finding Supergraphs:

, In: Lecture Notes in Computer Science; Unity of Logic and Computation,
Cipriani, Vittorio ; Pauly, Arno - p. 178-189 , 2023
Link: https://doi.org/10.1007/..
 
?
5

De Groot Duality for Represented Spaces:

, In: Lecture Notes in Computer Science; Unity of Logic and Computation,
Kihara, Takayuki ; Pauly, Arno - p. 89-101 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Point Degree Spectra of Represented Spaces:

Kihara, Takayuki ; Pauly, Arno
Forum of Mathematics, Sigma.  10 (2022)  - p. , 2022
Link: https://doi.org/10.1017/..
 
?
7

Revolutions and Revelations in Computability: 18th Conferen.. 

Lecture Notes in Computer Science, 13359
Berger, Ulrich ; Franklin, Johanna N. Y ; Manea, Florin. - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
8

Weihrauch Complexity in Computable Analysis:

, In: Theory and Applications of Computability; Handbook of Computability and Complexity in Analysis,
Brattka, Vasco ; Gherardi, Guido ; Pauly, Arno - p. 367-417 , 2021
Link: https://doi.org/10.1007/..
 
?
9

FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORD..:

GOH, JUN LE ; PAULY, ARNO ; VALENTI, MANLIO
The Journal of Symbolic Logic.  86 (2021)  2 - p. 817-854 , 2021
Link: https://doi.org/10.1017/..
 
?
10

Equilibria in multi-player multi-outcome infinite sequentia..:

Le Roux, Stéphane ; Pauly, Arno
Information and Computation.  276 (2021)  - p. 104557 , 2021
Link: https://doi.org/10.1016/..
 
?
11

On the existence of weak subgame perfect equilibria:

Bruyère, Véronique ; Le Roux, Stéphane ; Pauly, Arno.
Information and Computation.  276 (2021)  - p. 104553 , 2021
Link: https://doi.org/10.1016/..
 
?
12

Beyond the Horizon of Computability: 16th Conference on Com.. 

Theoretical Computer Science and General Issues, 12098
Anselmo, Marcella ; Della Vedova, Gianluca ; Manea, Florin. - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
13

SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE:

KIHARA, TAKAYUKI ; MARCONE, ALBERTO ; PAULY, ARNO
The Journal of Symbolic Logic.  85 (2020)  3 - p. 1006-1043 , 2020
Link: https://doi.org/10.1017/..
 
?
14

LUZIN'S (N) AND RANDOMNESS REFLECTION:

PAULY, ARNO ; WESTRICK, LINDA ; YU, LIANG
The Journal of Symbolic Logic.  87 (2020)  2 - p. 802-828 , 2020
Link: https://doi.org/10.1017/..
 
?
15

A Semi-Potential for Finite and Infinite Games in Extensive..:

Le Roux, Stéphane ; Pauly, Arno
Dynamic Games and Applications.  10 (2019)  1 - p. 120-144 , 2019
Link: https://doi.org/10.1007/..
 
1-15