31
Main Results
•
Theorem
[Immeman86, Vardi82]
LFP + < = IFP + < = PTIME
•
•
Theorem
[Vardi82]
PFP + < = PSPACE
•