Login / Signup
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width.
Salvatore La Torre
Gennaro Parlato
Published in:
FSTTCS (2012)
Keyphrases
</>
fixed point
tree width
sufficient conditions
dynamical systems
markov random field
np complete
expressive power
tree decomposition