vix.ing · top · new · best · stats · spec

Chris Barrett

  1. Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
    2024/06/22 by Aleksei Tiurin, Tiurin, Aleksei, Chris Barrett +4 · 1 citation
    Computer Science · Mathematics · #Advanced Topology and Set Theory #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge