REVISTA
SIAM JOURNAL ON COMPUTING

Inicio / SIAM JOURNAL ON COMPUTING / Vol: 33 Núm: 2 Par: 0 (2004) / Artículo

ARTÍCULO

TITULO

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

Gottlob

G. Pichler

R.

Resumen

No disponible

PÁGINAS

pp. 351 - 378

NÚMERO

Volumen: 33 Número: 2 Parte: 0 (2004)

MATERIAS

INGENIERÍA Y CONSTRUCCIÓN CIVIL
CIENCIAS EXACTAS

REVISTAS SIMILARES

Algorithms

Artículos similares

Revistas destacadas

Acceso directo a los números publicados en la revista Infrastructures

Infrastructures

Acceso directo a los números publicados en la revista Informed Infraestructure

Informed Infraestructure

Acceso directo a los números publicados en la revista BiT

BiT

Acceso directo a los números publicados en la revista Revista de la Construcción

Revista de la Construcción

Ver todas las revistas