Reachability in Tree-Like Component Systems is PSPACE-Complete.

Mila E. Majster-Cederbaum Nils Semmelrock

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

pspace complete
np complete
complex systems
model checking
decision problems
database
tree automata