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)