Article,

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

, and .
Electron. Notes Theor. Comput. Sci., (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews