29 citations · 36 across the 2 of their papers we have counts for
1 paper · 1 filter
Adel Bouhoula, Florent Jacquemard
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int…