Login / Signup

Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width.

Salvatore La TorreGennaro Parlato
Published in: FSTTCS (2012)
Keyphrases
  • fixed point
  • tree width
  • sufficient conditions
  • dynamical systems
  • markov random field
  • np complete
  • expressive power
  • tree decomposition