A Third-Order Bounded Arithmetic Theory for PSPACE.

Alan Skelley

Browse the full CSL paper archive.