2   Artículos

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

Revista: SIAM JOURNAL ON COMPUTING    Formato: Impreso

Tabla de contenido: Vol: 33 Num: 2 Par: 0 Año: 2004