Tiurin, Aleksei
- Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
2024/06/22 by Aleksei Tiurin, Tiurin, Aleksei, Chris Barrett +4 · 2 citations
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