The following pages link to (Q2751365):
Displayed 10 items.
- Mathematical induction in Otter-lambda (Q861715) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Appropriate lemmae discovery (Q1827320) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Verification as a parameterized testing (experiments with the SCP4 supercompiler) (Q2371554) (← links)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029) (← links)
- What is a proof? (Q5301851) (← links)