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

Eitemau Tebyg

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