Hypergraphs in Model Checking: Acyclicity and Hypertree−Width versus Clique−Width
Georg Gottlob and Reinhard Pichler
Details
| Book Title |
Automata‚ Languages and Programming‚ 28th International Colloquium‚ ICALP 2001‚ Crete‚ Greece‚ July 8−12‚ 2001‚ Proceedings |
| Editor |
Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen |
| ISBN |
3−540−42287−0 |
| Pages |
708−719 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2076 |
| Year |
2001 |
Links
Related pages
|
People |