Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems

David E. Muller Paul E. Schupp

Published in: STOC (1981)

Keyphrases

np complete
optimization problems
decision problems
solving problems
bayesian networks
multi agent systems
np hard
logic programming
cellular automata
modal logic