On Effective Banach-Mazur Games and an Application to the Poincar Recurrence Theorem for Category.

Prajval Koul, Satyadev Nandakumar

Browse the full STACS paper archive.