RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Characterizing the polynomial hierarchy by alternating auxiliary pushdown automata

Birgit Jenner and Bernd Kirsig

RAIRO-Theor. Inf. Appl., 23 1 (1989) 87-99

Published online: 03 February 2017

DOI: 10.1051/ita/1989230100871

Birgit Jenner

Bernd Kirsig

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)