Characterizing The Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata.

Birgit Jenner Bernd Kirsig

Published in: RAIRO Theor. Informatics Appl. (1989)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
cellular automata
dnf formulas
model checking
finite state machines
regular expressions
answer set programming
phase transition