Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata.

Birgit Jenner, Bernd Kirsig

Browse the full STACS paper archive.