| Previous slide | Next slide | Back to the first slide | View Graphic Version |
PSPACE = NC1 - Chandra, Kozen, Stockmeyer - Alternation
Cai-Furst - PSPACE computable with small bottleneck + clock
Bovet-Crescenzi-Silvestri - Leaf Languages
Hertrampf-Lautemann-Schwentick-Vollmer-Wagner - If leaf language with f.a. then PSPACE