Hydras: Directed Hypergraphs and Horn Formulas (Q5200511)
From MaRDI portal
scientific article; zbMATH DE number 6102433
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hydras: Directed Hypergraphs and Horn Formulas |
scientific article; zbMATH DE number 6102433 |
Statements
Hydras: Directed Hypergraphs and Horn Formulas (English)
0 references
6 November 2012
0 references
hydra number
0 references
complete binary trees
0 references
