Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
On the Uniform Computational Content of Ramsey's Theorem
Journal:
Journal of Symbolic Logic
Volume:
82
Issue:
4
Year:
2017
Pages from - to:
1278-1316
Language:
Englisch
DOI:
Department:
Fakultät für Informatik
Institute:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
Chair:
Brattka, Vasco
Open Access yes or no?:
Nein / No
BibTeX