The following pages link to (Q4386948):
Displaying 7 items.
- Attacking group protocols by refuting incorrect inductive conjectures (Q861695) (← links)
- Appropriate lemmae discovery (Q1827320) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Lemma discovery in automating induction (Q4647546) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)
