26
Immerman’s Theorem
•
Theorem
TrCl + <
= NLOGSPACE
•
•
Corollary
NLOGSPACE is closed under
complementation.
•