Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata

Birgit Jenner, Bernd Kirsig. Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata. In Robert Cori, Martin Wirsing, editors, STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Volume 294 of Lecture Notes in Computer Science, pages 118-125, Springer, 1988.

Abstract

Abstract is missing.