The following pages link to Term Rewriting and Applications (Q5703869):
Displaying 12 items.
- A pearl on SAT and SMT solving in Prolog (Q428887) (← links)
- Knuth-Bendix completion of theories of commuting group endomorphisms (Q844197) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- NP-completeness of small conflict set generation for congruence closure (Q1688538) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- Congruence Closure in Intensional Type Theory (Q2817913) (← links)
- E-matching for Fun and Profit (Q2864401) (← links)
- Weakly Equivalent Arrays (Q2964457) (← links)
- Modular SMT Proofs for Fast Reflexive Checking Inside Coq (Q3100210) (← links)
- Search-Space Partitioning for Parallelizing SMT Solvers (Q3453241) (← links)
- Ground Interpolation for the Theory of Equality (Q3617772) (← links)
- Transforming optimization problems into disciplined convex programming form (Q6648168) (← links)
