%0 Journal Article %A Jenner, Birgit %A Kirsig, Bernd %T Characterizing the polynomial hierarchy by alternating auxiliary pushdown automata %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1989 %P 87-99 %V 23 %N 1 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1989__23_1_87_0/ %G en %F ITA_1989__23_1_87_0