Login / Signup
Tahina Rakotoniaina
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Cutting Plane
Content Management
Mathematical Programming
Von Neumann
Top Venues
J. Symb. Log.
</>
Publications
</>
Vasco Brattka
,
Tahina Rakotoniaina
On the Uniform Computational Content of Ramsey's Theorem.
J. Symb. Log.
82 (4) (2017)