Login / Signup

Fly-automata for checking monadic second-order properties of graphs of bounded tree-width.

Bruno Courcelle
Published in: Electron. Notes Discret. Math. (2015)
Keyphrases
  • bounded tree width
  • tree width
  • structural properties
  • markov networks
  • higher order
  • search space
  • hidden markov models
  • first order logic
  • finite automata