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

Míreanna comhchosúla

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