Similar Items: Equality Saturation: A New Approach to Optimization
- Ground interpolation for the theory of equality
- On Irrelevance and Algorithmic Equality in Predicative Type Theory
- Inter-procedural Two-Variable Herbrand Equalities
- An extensible equality checking algorithm for dependent type theories
- Quantitative Equality in Substructural Logic via Lipschitz Doctrines
- Saturation Attacks on DM CV-QKD: Threat Analysis and Machine Learning-Based Defense