The following pages link to (Q2751366):
Displayed 4 items.
- Inductive proof search modulo (Q1037404) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Analysis of the Collision Resistance of RadioGatúnUsing Algebraic Techniques (Q3644204) (← links)
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving (Q5191111) (← links)