6/1/2026
•
EN
Arenas, Cyclic Terms, and Flat Equational Systems
Explores cyclic terms, arenas, and flat equational systems in the context of e-graphs and formal reasoning.