Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
Päätekijät: | Gottlob, G, Pichler, R |
---|---|
Aineistotyyppi: | Journal article |
Julkaistu: |
2004
|
Samankaltaisia teoksia
-
Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
Tekijä: Gottlob, G, et al.
Julkaistu: (2001) -
Hypertree width and related hypergraph invariants
Tekijä: Adler, I, et al.
Julkaistu: (2007) -
Hypertree-Width and Related Hypergraph Invariants
Tekijä: Isolde Adler, et al.
Julkaistu: (2005-01-01) -
Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width
Tekijä: Gottlob, G, et al.
Julkaistu: (2003) -
Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
Tekijä: Gottlob, G, et al.
Julkaistu: (2001)