Gottlob, G., & Pichler, R. (2004). Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width.
Dyfyniad Arddull ChicagoGottlob, G., and R. Pichler. Hypergraphs in Model Checking: Acyclicity and Hypertree−Width Versus Clique−Width. 2004.
Dyfyniad MLAGottlob, G., and R. Pichler. Hypergraphs in Model Checking: Acyclicity and Hypertree−Width Versus Clique−Width. 2004.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.