The following pages link to Constrained equational deduction (Q5881303):
Displaying 5 items.
- Differential constraints, recursion operators, and logical integrability (Q1380919) (← links)
- Inferring Congruence Equations Using SAT (Q3512500) (← links)
- Associative-Commutative Deducibility Constraints (Q3590970) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)