ACM SIGPLAN - [EGRAPHS24] Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
Sign in to continue reading, translating and more.
