On Minimalism of Analysis by Reduction by Restarting Automata.

Martin Pltek, Dana Pardubsk, Markta Lopatkov

Browse the full FG paper archive.