51

Logic, Computation, Hierarchies () || The life and work of Victor L. Selivanov

Brattka, Vasco, Diener, Hannes, Spreen, Dieter
Année:
2014
Langue:
english
Fichier:
PDF, 124 KB
english, 2014
53

Probabilistic computability and choice

Brattka, Vasco, Gherardi, Guido, Hölzl, Rupert
Journal:
Information and Computation
Année:
2015
Langue:
english
Fichier:
PDF, 994 KB
english, 2015
54

Logic, Computation, Hierarchies () || AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS

Brattka, Vasco, Diener, Hannes, Spreen, Dieter
Année:
2014
Langue:
english
Fichier:
PDF, 579 KB
english, 2014
55

Logic, Computation, Hierarchies () || PARTIAL NUMBERINGS AND PRECOMPLETENESS

Brattka, Vasco, Diener, Hannes, Spreen, Dieter
Année:
2014
Langue:
english
Fichier:
PDF, 280 KB
english, 2014
59

Logic, Computation, Hierarchies () || The completeness of isomorphism

Brattka, Vasco, Diener, Hannes, Spreen, Dieter
Année:
2014
Langue:
english
Fichier:
PDF, 170 KB
english, 2014
60

EFFECTIVE CHOICE AND BOUNDEDNESS PRINCIPLES IN COMPUTABLE ANALYSIS

VASCO BRATTKA and GUIDO GHERARDI
Journal:
Bulletin of Symbolic Logic
Année:
2011
Langue:
english
Fichier:
PDF, 3.33 MB
english, 2011
62

On the Uniform Computational Content of Computability Theory

Brattka, Vasco, Hendtlass, Matthew, Kreuzer, Alexander P.
Journal:
Theory of Computing Systems
Année:
2017
Langue:
english
Fichier:
PDF, 1.06 MB
english, 2017
63

ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM

BRATTKA, VASCO, RAKOTONIAINA, TAHINA
Journal:
Journal of Symbolic Logic
Année:
2017
Langue:
english
Fichier:
PDF, 535 KB
english, 2017
64

Foreword

Brattka, Vasco, Frougny, Christiane, Mueller, Norbert
Journal:
RAIRO - Theoretical Informatics and Applications
Année:
2007
Langue:
english
Fichier:
PDF, 38 KB
english, 2007
65

Computability Theory

Brattka, Vasco, Downey, Rodney, Knight, Julia, Lempp, Steffen
Journal:
Oberwolfach Reports
Année:
2019
Fichier:
PDF, 359 KB
2019
66

Computability Theory

Brattka, Vasco, Downey, Rodney, Knight, Julia, Lempp, Steffen
Journal:
Oberwolfach Reports
Année:
2019
Langue:
english
Fichier:
PDF, 359 KB
english, 2019
69

Completion of Choice

Brattka, Vasco, Gherardi, Guido
Journal:
Annals of Pure and Applied Logic
Année:
2020
Fichier:
PDF, 824 KB
2020
70

Editorial

Brattka, Vasco, Bonizzoni, Paola, Bournez, Olivier, Mayordomo, Elvira
Journal:
Computability
Année:
2016
Fichier:
PDF, 32 KB
2016
76

WEIHRAUCH GOES BROUWERIAN

BRATTKA, VASCO, GHERARDI, GUIDO
Journal:
Journal of Symbolic Logic
Année:
2020
Fichier:
PDF, 650 KB
2020