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)