Inductive Inference and Reverse Mathematics.

Rupert Hlzl, Sanjay Jain, Frank Stephan

Browse the full STACS paper archive.