Peripatetic seminar talk on QSAT
Theory details
10/15/2009
Notes from a seminar talk given on October 7, 2009. We discuss how removing restriction on peeks (allowing recursive function symbols in the subject of a peek) allows PSPACE. We show how to write QSAT, which is PSPACE-complete, in a modified version of Pola.