Despina Stasi
Illinois Institute of Technology
"Hydras: Horn formulas and directed hypergraphs"
Originally published at math.nd.edu.
Despina Stasi
Illinois Institute of Technology
"Hydras: Horn formulas and directed hypergraphs"
Originally published at math.nd.edu.