Congruence Closure with Free Variables
No abstract available.
Related papers
- Producing Shorter Congruence Closure Proofs in a State-of-the-Art SMT Solver VMCAI 2026
- Programming up to Congruence POPL 2015
- Efficient and safe-for-space closure conversion TOPLAS 2000
- Lightweight Closure Conversion TOPLAS 1997
- Using Types as Search Keys in Function Libraries JFP 1991
- A Modular, Polyvariant, and Type-Based Closure Analysis ICFP 1997
- Typed Closure Conversion POPL 1996
- Ground Interpolation for the Theory of Equality TACAS 2009