Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width

類似資料

• Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
  著者:: Gottlob, G, 等
  出版事項: (2001)
• Hypertree width and related hypergraph invariants
  著者:: Adler, I, 等
  出版事項: (2007)
• Hypertree-Width and Related Hypergraph Invariants
  著者:: Isolde Adler, 等
  出版事項: (2005-01-01)
• Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
  著者:: Gottlob, G, 等
  出版事項: (2003)
• Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
  著者:: Gottlob, G, 等
  出版事項: (2001)