Theories and proof systems for PSPACE and the EXP-time hierarchy

Alan Skelley. Theories and proof systems for PSPACE and the EXP-time hierarchy. PhD thesis, University of Toronto, Canada, 2006. [doi]

Abstract

Abstract is missing.