T21: PSPACE completeness

12 Dezembro 2017, 11:00 Paulo Alexandre Carreira Mateus

The set Aomega. Proof that Aomega is a PSPACE complete language.