Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata.

Birgit Jenner Bernd Kirsig

Published in: STACS (1988)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
cellular automata
finite state machines
dnf formulas
model checking
machine learning
knowledge base
computational complexity
query language
query evaluation
regular expressions