Hypergraph-Based Inference Rules for Computing

Hui Yang, Yue Ma, Nicole Bidoit

Browse the full CADE paper archive.