Translational Lemmas for Alternating TMs and PRAMs
2005 ◽
pp. 137-148
◽