<<
Relating the PSPACE reasoning power of Boolean
Programs and Quantified Boolean Formulas
by
Alan Skelley
A thesis submitted in conformity with the requirements
for the degree of Master of Science
Graduate Department of Computer Science
UniversityofToronto
c
Copyright by Alan Skelley
Abstract
Relating the PSPACE reasoning p ower of Bo olean Programs and Quanti ed Bo olean
Formulas
Alan Skelley
Master of Science
Graduate Department of Computer Science
UniversityofToronto