Download citation

Characterizing the polynomial hierarchy by alternating auxiliary pushdown automata

RAIRO-Theor. Inf. Appl., 23 1 (1989) 87-99
DOI: https://doi.org/10.1051/ita/1989230100871