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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Gottlob, G, Pichler, R
Μορφή: Journal article
Έκδοση: 2004