Theoretical Computer Science and Mathematical Logic Group

theory & logic

Publications

of Tahina Rakotoniaina

by type chronologically

Articles

Brattka, Vasco and Rakotoniaina, Tahina, On the Uniform Computational Content of Ramsey's Theorem, Journal of Symbolic Logic 82:4 (2017) 1278-1316

Electronic Repositories

Brattka, Vasco and Rakotoniaina, Tahina, On the Uniform Computational Content of Ramsey's Theorem, arXiv 1508.00471 (2015)

Theses

Rakotoniaina, Tahina, On the Computational Strength of Ramsey's Theorem, Ph.D. thesis, Department of Mathematics and Applied Mathematics, University of Cape Town, Rondebosch, South Africa, 2015

This publication list has currently 3 entries