T21: PSPACE completeness

12 dezembro 2017, 11:00 • Paulo Alexandre Carreira Mateus

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